The duality principle
Every Boolean identity has a dual, obtained by swapping + with · and 0 with 1 while leaving the variables and complements alone. The duality principle says the dual of a theorem is also a theorem — because the axioms come in dual pairs. So proving x + xy = x automatically gives x(x + y) = x for free.
✓ Unlimited questions · marked criterion by criterion · no card needed
Method: how to approach it
The order below is what examiners expect to see, and each step carries its own marks.
- Swap the operationsEvery + becomes · and every · becomes +. Take care with implicit multiplication: xy means x·y and becomes x + y.
- Swap the constants0 ↔ 1 everywhere they appear.
- Leave variables and complements alonex stays x and x′ stays x′. Complementing the variables gives a different transformation.
- Re-bracket carefullyPrecedence changes when operations swap, so brackets that were unnecessary may become essential.
Worked example
State the dual of x + x′y = x + y and verify it is also an identity.
- Swap + and ·: x·(x′ + y) = x·y.
- Verify: x(x′ + y) = xx′ + xy by distributivity.
- = 0 + xy by the complement law.
- = xy by identity.
Answer. The dual x(x′ + y) = xy holds, as duality guarantees.
Where marks get dropped
These are the specific errors that cost credit on the duality principle questions — QED's rubric penalises each of them separately.
- Complementing the variables while dualising. The dual of x + y is xy, not x′y′ — that transformation is De Morgan, a different thing.
- Forgetting brackets after the swap. The dual of x + yz is x(y + z), and dropping the bracket changes the meaning entirely.
- Assuming duality means the two expressions are equal. They are separate identities, generally with different truth tables.
Practise this until it is automatic
Unlimited fresh questions
QED generates new the duality principle problems on demand at warm-up, exam and challenge level, so you can drill this one skill until it stops costing you marks.
Marked like an examiner
Every answer is scored against a point-by-point rubric with partial credit, so you see exactly which step of the method broke down — not just a tick or a cross.
Answer in real notation
A one-tap symbol palette, a visual equation editor and a truth-table builder — or photograph your handwritten working and QED converts it to LaTeX.
Saved to your library
Every question you generate is kept and re-takeable as a timed exam, and your Boolean Algebra mastery is tracked so you know when this is exam-ready.
The duality principle — frequently asked questions
Why does duality work?
Because the axiom list is self-dual: dualising every axiom produces the axiom list again. So dualising a proof step by step yields a valid proof of the dual statement.
Is duality the same as complementation?
No. Complementing an expression gives De Morgan’s transformation, which also complements the variables. Duality leaves the variables untouched.
How is duality useful in practice?
It halves the work: prove one of each dual pair. It also converts a sum-of-products minimisation technique into a product-of-sums one automatically.
The rest of Boolean Algebra
Axioms, laws, simplification and Boolean functions. Each subtopic below has its own method, worked example and mark-losing traps.
- 1Boolean axioms & laws
- 2The duality principle
- 3Simplifying Boolean expressions
- 4Boolean functions & truth tables
- 5Boolean algebra, logic & set algebra
- 6Sum-of-products & product-of-sums
- 7Karnaugh maps & minimal expressions
- 8Logic gates & translating circuits
- 9NAND / NOR universality
- 10Don’t-care conditions in minimisation
- 11Quine–McCluskey minimisation
- 12Half adders, full adders & multiplexers
- 13Shannon expansion & binary decision diagrams
Ready to make the duality principle exam-proof?
Generate your first questions free — no card, no setup, no personal data stored. Practise until the method is second nature.
Start practising free →