Boolean Algebra Calculator
Boolean Algebra Calculator
Simplify boolean expressions with step-by-step solution | DNF | CNF | NNF
Operator Reference (click to insert)
Click any operator or variable to insert at cursor position. Use single letters for variables.
Simplified Expression
(A · B') + (B · C')
Step-by-step Solution
Apply De Morgan's theorem: ( (A' + B) * (B' + C) )' = (A' + B)' + (B' + C)'
Simplify: (A · B') + (B · C')
Normal Forms
Disjunctive Normal Form (DNF)
(A ∧ ¬B) ∨ (B ∧ ¬C)
Conjunctive Normal Form (CNF)
(A ∨ B) ∧ (A ∨ ¬C) ∧ (¬B ∨ B)
Negation Normal Form (NNF)
(A ∧ ¬B) ∨ (B ∧ ¬C)