Boolean Algebra Calculator

Enter Expression

-- Sample Expressions --

-(A+B)=(-A*-B) = De Morgan
A+B = A or B
A*B = A and B
P=>Q = P implies Q
(P=>Q)*(Q=>R)=>(P=>R)
(A*-B)+(-A*B) = XOR
-P+Q = Definition of impliy
-(P*(-P+Q))+Q = Modus ponens

Result

Fill the calculator form and click on Calculate button to get result here

Please Fill aleat 1 row