Loogikaavaldise lihtsustamine

Lihtsustada oma ülesandevariandile vastav loogikaavaldis ja kontrollida saadud tulemust täieliku tõeväärtustabeli loomise teel

1. NOT(NOT A OR B) NOR [(A OR B)AND B]
2. NOT(NOT A OR NOT B) AND [(A IMP B)AND B]
3. (A EQV B) XNOR (A OR B)
4. [(A IMP B) OR (B AND C)] IMP (C IMP A)
5. (A IMP B) IMP (B IMP A)
6. NOT[(A IMP B) AND (B IMP NOT A)]
7. (A IMP NOT B) IMP NOT(A OR B)
8. NOT[A AND B AND (A IMP NOT B)]
9. NOT(NOT A OR B) IMP [(A OR B)AND B]
10. NOT(NOT A OR NOT B) OR [(A IMP B)AND B]
11. (A EQV B) AND (A OR B)
12. [(A IMP B) AND (B AND C)] IMP (C IMP A)
13. NOT[(A IMP B) NAND (B IMP NOT A)]
14. (A IMP NOT B) XOR NOT(A OR B)
15. NOT[A AND B NAND (A IMP NOT B)]
16. (A IMP NOT B) XNOR NOT(A OR B)
17. NOT[(A IMP B) NAND (B IMP NOT A)]
18. (A IMP B) NAND (B IMP A)
19. [(A IMP B) NAND (B AND C)] IMP (C IMP A)
20. (A EQV B) NAND (A OR B)
21. NOT(NOT A OR NOT B) NOR [(A IMP B)AND B]
22. NOT(NOT A OR B) XNOR [(A OR B)AND B]
23. NOT[A AND B XOR (A IMP NOT B)]
24. (A IMP B) NAND (B IMP A)
25. [(A IMP B) NAND (B AND C)] IMP (C IMP A)
26. (A EQV B) NAND (A OR B)
27. NOT(NOT A OR NOT B) AND [(A IMP B)AND B]
28. NOT(NOT A OR B) EQV [(A OR B)AND B]
29. NOT[A AND B AND (A IMP NOT B)]
30. (A IMP NOT B) IMP NOT(A OR B)
31. NOT[(A IMP B) AND (B IMP NOT A)]
32. (A IMP B) AND (B IMP A)