Boolean algebra and binary number systems
Master Boolean algebra and binary number systems in Year 11 VCE Specialist Mathematics. Boolean algebra is the algebra of \(0\) and \(1\) under the operations AND, OR and NOT, and the binary system writes numbers in base \(2\). It sits in the Algebra, number and structure area of study of the VCE Mathematics Study Design (VCAA), within the Logic and algorithms topic of Unit 1.
You will learn the axioms and laws — commutative, distributive, identity, complement, idempotent, absorption and De Morgan — to simplify Boolean expressions, and to convert between binary and decimal and add binary numbers.
Theory
Boolean algebra is the algebra of the two values \(0\) and \(1\), combined with the operations AND \((\cdot)\), OR \((+)\) and NOT \((\,'\,)\). In Year 11 Specialist Mathematics you use its axioms and laws to simplify expressions, and you work in the binary number system — converting between binary and decimal and adding binary numbers.
A Boolean variable takes just two values, \(0\) (false) and \(1\) (true). Three operations combine them:
- AND, written as a product \(a\cdot b\): the result is \(1\) only when both inputs are \(1\).
- OR, written as a sum \(a+b\): the result is \(1\) when at least one input is \(1\).
- NOT (complement), written \(a'\): it swaps \(0\) and \(1\), so \(0'=1\) and \(1'=0\).
These are not ordinary arithmetic: \(1+1=1\) in Boolean algebra (OR), not \(2\). Every operation is defined by a truth table listing the output for each combination of inputs.
The binary number system is base \(2\): each digit (a bit) is \(0\) or \(1\), and the place values are powers of two \(\ldots,8,4,2,1\). For example \(1011_2 = 8+2+1 = 11\). Binary is the number system computers use, and it sits alongside Boolean algebra in the study of logic and algorithms.
The axioms of Boolean algebra — the commutative, associative, distributive, identity and complement laws, together with the derived idempotent, absorption and De Morgan laws — let you rewrite and simplify Boolean expressions with certainty.
The axioms and laws of Boolean algebra (with \(a,b,c\) Boolean variables) let you rewrite expressions. Each has an OR form and a dual AND form:
A binary number is a sum of the place values (powers of two) whose bit is \(1\); reading right to left the places are \(1,2,4,8,16,\ldots\):
Simplifying a Boolean expression
- Expand or factor using the distributive law to group like terms.
- Apply a law at each step — complement \((a+a'=1,\ a\cdot a'=0)\), identity \((a\cdot 1=a,\ a+0=a)\), idempotent \((a\cdot a=a)\) or absorption — and name it.
- Use De Morgan's laws to move a complement across a bracket: \((a\cdot b)'=a'+b'\) and \((a+b)'=a'\cdot b'\).
- Stop when no law applies; the result is the simplest form.
Working in the binary number system
- Binary to decimal: multiply each bit by its place value \((\ldots,8,4,2,1)\) and add.
- Decimal to binary: subtract the largest place values that fit, writing \(1\) where a place is used and \(0\) where it is not.
- Binary addition: add column by column, carrying \(1\) whenever a column total reaches \(2\). (Converting to decimal, adding, then converting back is a reliable check.)
Factor out \(a\) with the distributive law, then simplify \(1+b\):
| \(a + a\cdot b\) | \(=\) | \(a\cdot(1+b)\quad\text{(distributive law)}\) |
| \(=\) | \(a\cdot 1\quad\text{(}1+b=1)\) | |
| \(=\) | \(a\quad\text{(identity law)}\) |
\(a + a\cdot b = a\) — this is the absorption law.
Expand with the distributive law, then use idempotent and absorption:
| \(a\cdot(a+b)\) | \(=\) | \(a\cdot a + a\cdot b\quad\text{(distributive law)}\) |
| \(=\) | \(a + a\cdot b\quad\text{(idempotent }a\cdot a=a)\) | |
| \(=\) | \(a\quad\text{(absorption law)}\) |
\(a\cdot(a+b) = a\).
Use the distributive law (dual form), then the complement and identity laws:
| \(a + a'\cdot b\) | \(=\) | \((a+a')\cdot(a+b)\quad\text{(distributive law)}\) |
| \(=\) | \(1\cdot(a+b)\quad\text{(complement }a+a'=1)\) | |
| \(=\) | \(a+b\quad\text{(identity law)}\) |
\(a + a'\cdot b = a+b\).
De Morgan turns a complemented product into a sum of complements:
| \((a\cdot b)'\) | \(=\) | \(a' + b'\quad\text{(De Morgan's law)}\) |
and a complemented sum into a product of complements:
| \((a+b)'\) | \(=\) | \(a'\cdot b'\quad\text{(De Morgan's law)}\) |
\((a\cdot b)' = a' + b'\) and \((a+b)' = a'\cdot b'\).
(i) Read \(1011_2\) by place value \((8,4,2,1)\):
| \(1011_2\) | \(=\) | \(1\cdot 8 + 0\cdot 4 + 1\cdot 2 + 1\cdot 1\) |
| \(=\) | \(8+2+1\) | |
| \(=\) | \(11\) |
(ii) Build \(13\) from the largest place values that fit:
| \(13\) | \(=\) | \(8+4+1\) |
| \(=\) | \(1101_2\) |
(iii) Add via decimal, then convert back (a column reaching \(2\) carries):
| \(1011_2 + 101_2\) | \(=\) | \(11 + 5\) |
| \(=\) | \(16\) | |
| \(=\) | \(10000_2\) |
\(1011_2 = 11\); \(\;13 = 1101_2\); \(\;1011_2 + 101_2 = 10000_2\).
Convert each number, add in decimal, then convert back to binary:
| \(1011_2\) | \(=\) | \(11,\quad 1101_2 = 13\) |
| \(11 + 13\) | \(=\) | \(24\) |
| \(24\) | \(=\) | \(11000_2\) |
\(1011_2 + 1101_2 = 11000_2\).
Common pitfalls
Frequently asked questions
What are the three Boolean operations?
AND (a product \(a\cdot b\)), OR (a sum \(a+b\)) and NOT (a complement \(a'\)). AND is \(1\) only when both inputs are \(1\); OR is \(1\) when at least one input is \(1\); NOT swaps \(0\) and \(1\).
What are the main laws of Boolean algebra?
The commutative, associative, distributive, identity \((a+0=a,\ a\cdot 1=a)\) and complement \((a+a'=1,\ a\cdot a'=0)\) laws, plus the derived idempotent \((a+a=a)\), absorption \((a+a\cdot b=a)\) and De Morgan laws.
What are De Morgan's laws?
They rewrite the complement of a product or sum by flipping the operation: \((a\cdot b)'=a'+b'\) and \((a+b)'=a'\cdot b'\).
How do I convert a binary number to decimal?
Multiply each bit by its place value \((\ldots,8,4,2,1)\) and add the results. For example \(1011_2 = 8+2+1 = 11\).
How do I convert a decimal number to binary?
Subtract the largest power of two that fits, then keep going with the remainder, writing \(1\) where a place value is used and \(0\) where it is not. For example \(13 = 8+4+1 = 1101_2\).
How does binary addition work?
Add column by column from the right, carrying \(1\) to the next place whenever a column total reaches \(2\). For example \(1011_2 + 1101_2 = 11000_2\), which checks as \(11+13=24\).