Loogikaavaldise lihtsustamine
Allikas: Teadmusbaas
Lihtsustada oma ülesandevariandile vastav loogikaavaldis ja kontrollida saadud tulemust täieliku tõeväärtustabeli loomise teel
- NOT(NOT A OR B) NOR [(A OR B)AND B]
- NOT(NOT A OR NOT B) AND [(A IMP B)AND B]
- (A EQV B) XNOR (A OR B)
- [(A IMP B) OR (B AND C)] IMP (C IMP A)
- (A IMP B) IMP (B IMP A)
- NOT[(A IMP B) AND (B IMP NOT A)]
- (A IMP NOT B) IMP NOT(A OR B)
- NOT[A AND B AND (A IMP NOT B)]
- NOT(NOT A OR B) IMP [(A OR B)AND B]
- NOT(NOT A OR NOT B) OR [(A IMP B)AND B]
- (A EQV B) AND (A OR B)
- [(A IMP B) AND (B AND C)] IMP (C IMP A)
- NOT[(A IMP B) NAND (B IMP NOT A)]
- (A IMP NOT B) XOR NOT(A OR B)
- NOT[A AND B NAND (A IMP NOT B)]
- (A IMP NOT B) XNOR NOT(A OR B)
- NOT[(A IMP B) NAND (B IMP NOT A)]
- (A IMP B) NAND (B IMP A)
- [(A IMP B) NAND (B AND C)] IMP (C IMP A)
- (A EQV B) NAND (A OR B)
- NOT(NOT A OR NOT B) NOR [(A IMP B)AND B]
- NOT(NOT A OR B) XNOR [(A OR B)AND B]
- NOT[A AND B XOR (A IMP NOT B)]
- (A IMP B) NAND (B IMP A)
- [(A IMP B) NAND (B AND C)] IMP (C IMP A)
- (A EQV B) NAND (A OR B)
- NOT(NOT A OR NOT B) AND [(A IMP B)AND B]
- NOT(NOT A OR B) EQV [(A OR B)AND B]
- NOT[A AND B AND (A IMP NOT B)]
- (A IMP NOT B) IMP NOT(A OR B)
- NOT[(A IMP B) AND (B IMP NOT A)]
- (A IMP B) AND (B IMP A)