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

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

Created by Mathematica  (August 7, 2005)