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

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

Created by Mathematica  (August 7, 2005)