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

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

Created by Mathematica  (August 7, 2005)