Boolean Algebra Calculator + K-Map Solver
Expression
NOT: ! ~ ¬ NOT
AND: & ∧ * AND
OR: | + ∨ OR
XOR: ^ ⊕ XOR
NAND: ↑ NAND
NOR: ↓ NOR
IMPLIES: -> => IMPLIES
EQUIV: <-> <=> = ≡ EQV XNOR
Build truth table
Solve K-map (≤4 vars)
Toggle theme
Example
Clear
Detected variables:
K-map works when variables ≤ 4.
Truth table
K-map
Gray order with wrap-around
Tip: To simplify
!(A & B)
, the K-map will yield
!A + !B
(De Morgan).