Enter a boolean expression (AND / OR / NOT / XOR / NAND / NOR with variables A–D) to generate the full truth table, minterms / maxterms, canonical and minimal SOP, plus a logic-gate diagram.
ExamplesA AND BA OR (NOT B)A XOR B(A AND B) OR (NOT C)A NAND (B OR C)(A XOR B) AND (C NOR D)
AND ∧ &OR ∨ |NOT ¬ !XOR ⊕ ^NANDNOR
Minterms (Σm)
—
Maxterms (ΠM)
—
Canonical SOP
—
Canonical POS
—
Minimal SOP (Quine-McCluskey)
—
Prime implicants
—
Truth table
Logic-gate diagram
Gate symbols
Type a boolean expression using operators AND, OR, NOT, XOR, NAND, NOR (symbols ∧ ∨ ¬ ⊕ & | ! ^ also work) and variables A–D. Click Generate to build the full truth table over all variable combinations, see minterms, maxterms, canonical SOP/POS and the Quine-McCluskey minimized SOP, plus a schematic of the logic gates. Everything runs in your browser — nothing is uploaded.