Simplify the Boolean expression
where denotes AND and denotes OR.
Read the operators as logic, not arithmetic. In Boolean algebra is AND and is OR. Neither variable is complemented here (there is no overbar on any letter), so the two product terms are identical: both are the single minterm .
Identify the applicable law. For OR, the idempotent law states
This holds because OR asks "is at least one true?" — asking the same question twice adds nothing. Both possible values confirm it: and .
Apply it with X = A.B.C.
Contrast with ordinary algebra, where the answer would differ. In arithmetic, . In Boolean algebra there is no — the only values are and , and , not . Writing here would be meaningless.
Verify with a truth table. Enumerating all eight combinations of , the expression equals in every row ✓ — output only for , and in the other seven rows.
Note the practical consequence. In a circuit, the unsimplified form would use two identical three-input AND gates feeding an OR gate; the simplified form needs a single AND gate and no OR gate at all. Spotting duplicate minterms is the first pass of any gate-count reduction — and the same duplication often hides a transcription error in the original expression, worth checking before building.
Need to solve a different problem like this? Open the solver →