I. Hafner, Logika (izbirni predmet, 9. razred)
Ugotovi resničnostno vrednost danih stavkov, podanih v 2 svetovih
Test A

1. bel(A) ⊻ kvadrat(D)
2. bel(C) ⊻ bel(B)
3. srednje velikosti(A) ⊻ ¬trikotnik(D)
4. velik(D) → bel(B)
5. velik(C) ⊻ kvadrat(A)
6. velik(D) ∨ ¬majhen(B)
7. ¬srednje velikosti(C) ∨ majhen(A)
8. ¬siv(C) → majhen(D)
9. ¬trikotnik(A) → majhen(C)
10. kvadrat(A) → ¬trikotnik(C)
11. ¬(srednje velikosti(A) → majhen(C))
12. ¬(¬trikotnik(D) ∨ ¬majhen(B))
13. ¬(¬majhen(A) ∨ ¬bel(C))
14. ¬(velik(C) ⊻ ¬siv(A))
15. ¬(petkotnik(B) → ¬srednje velikosti(A))
16. ¬(¬velik(D) ∧ ¬velik(A))
17. ¬(petkotnik(A) ∨ velik(C))
18. ¬(¬siv(C) ↔ ¬petkotnik(D))
19. ¬(trikotnik(D) → kvadrat(A))
20. ¬(siv(B) ⊻ siv(C))

Created by Mathematica  (August 7, 2005)