Loogikaavaldise lihtsustamine

Allikas: Teadmusbaas

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)