Boolean Algebra Simplifier
Enter a Boolean expression and watch it simplify one named law at a time, from De Morgan to absorption and consensus. The Karnaugh map beside it shows the same answer as groups of 1s or 0s, including groups that wrap round the edges.
What you can do
- Step by step simplification, naming the law at each step
- De Morgan's, absorption, redundancy, consensus, distributive and more
- Karnaugh maps for up to 4 variables with wrap-around groups drawn
- Group the 1s or the 0s, and mark don't care cells
- Minimal sum of products or product of sums for up to 8 variables