Boolean Expression Solver

Simplify any Boolean expression to minimal SOP & POS, with K-map, prime implicants and equivalence check.

All tools Number System Converter IEEE 754 Floating Point 1's & 2's Complement IP Address / Subnet / VLSM Boolean Expression Solver Truth Table Generator K-Map Solver SOP ⇄ POS Converter

Boolean expression

F =

NOT: A' or ~A · AND: AB, A.B or A*B · OR: A+B · XOR: A^B · words AND OR NOT XOR NAND NOR also work.

Examples

Compare with another expression (check equivalence)

Notation for NOT

Simplified result

K-map

Quine–McCluskey working (prime implicants)

Truth table