Result summary
How it’s calculated
Truth table
Canonical forms / Simplified SOP
FAQ
Which operators can I use?
Use ! or ~ for NOT, & or ∧ for AND, ^ for XOR, | or ∨ for OR, -> for implication, <-> for equivalence, and constants 0, 1, T, F.
How does the simplification choose Karnaugh vs Quine–McCluskey?
Up to four variables the tool groups minterms in the same way as a Karnaugh map. Five or six variables switch to Quine–McCluskey with Petrick selection. More than six falls back to the canonical DNF.