Logic Function Solver
Allowed syntax for boolean functions:
AND =
AB
OR =
A + B
XOR =
A ^ B
NOT =
A'
NAND =
(AB)'
NOR =
(A + B)'
XNOR =
(A ^ B)'
Supports 8 unique variables. | K-Maps for functions of 2-6 variables. | Minimizes into sum of products form.
Dark Mode
F() =
JavaScript not installed.