Study resource
Boolean algebra revision notes
Study Boolean algebra with curriculum-aligned Revision Notes resources, practice links, and exam-focused support.
At a glance
revision notes
Resource type
Topic
Boolean algebra
Revision notes
Boolean Algebra: Identities and De Morgan’s Laws
Purpose of Boolean algebra
Boolean algebra manipulates expressions whose values are either true or false. The main operators are AND, written as
·or by placing terms together, OR, written as+, and NOT, written as¬or with an apostrophe. Simplification changes the form of an expression without changing its Boolean result.Useful Boolean identities
Important identities include:
- Identity:
A + 0 = AandA · 1 = A - Domination:
A + 1 = 1andA · 0 = 0 - Idempotent:
A + A = AandA · A = A - Complement:
A + ¬A = 1andA · ¬A = 0 - Double negation:
¬(¬A) = A - Commutative:
A + B = B + AandA · B = B · A - Associative:
(A + B) + C = A + (B + C)and(A · B) · C = A · (B · C) - Distributive:
A · (B + C) = (A · B) + (A · C)andA + (B · C) = (A + B) · (A + C)
The operator symbols must not be treated as ordinary arithmetic. For example,
A + A = Ain Boolean algebra because OR-ing a value with itself does not alter it.De Morgan’s laws
De Morgan’s laws move a NOT operation across a group of terms while changing the operator:
¬(A · B) = ¬A + ¬B¬(A + B) = ¬A · ¬B
The first law changes NOT-AND into OR of the negated terms. The second changes NOT-OR into AND of the negated terms. Parentheses are important because the NOT applies to the whole grouped expression before the transformation.
Worked simplification
Simplify
A + (A · B).Using the distributive identity in the reverse direction:
A + (A · B) = A · 1 + A · BFactor out
A:A · 1 + A · B = A · (1 + B)Using domination,
1 + B = 1, so:A · (1 + B) = A · 1 = ATherefore,
A + (A · B) = A.Common errors
Do not remove a NOT without changing the operator when applying De Morgan’s laws. For example,
¬(A + B)is not¬A + ¬B; it is¬A · ¬B. Also check the scope of every pair of parentheses, distinguishA + AfromA + ¬A, and apply one identity at a time so that each step can be justified.- Identity:
Related topics
