Boolean Logic Workbench

Enter a Boolean expression to generate a truth table, Karnaugh map, and logic circuit diagram.

Enter Expression:

Syntax Guide:

A' for NOT A — also works on groups, e.g. (A+B)'
A.B or AB for A AND B
A+B for A OR B
A^B for A XOR B
(AB)' draws as a single NAND gate; (A+B)' as NOR; (A^B)' as XNOR
Example: A'B + A.C is valid.

Results will be displayed here.