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

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

Created by Mathematica  (August 7, 2005)