Teacher Guide: Boolean Algebra

Learn the laws of Boolean algebra, including De Morgan's laws, and use them to simplify expressions step by step and check the result with a truth table.

Present LessonView Student Page

Use this lesson with your class

Free, no student accounts needed.

Share with students

Students open the lesson and practise with instant feedback.

Printable worksheet

All practice problems on paper, with a separate answer key.

Worksheet Answer key

Class quiz

10 questions on Boolean Logic. Students join with a name, you see everyone's score.

For Teachers

Learning Objectives

State the identity, null, idempotent, complement and double negation laws
Apply the commutative, associative and distributive laws, including $A \lor (B \land C) = (A \lor B) \land (A \lor C)$
Use De Morgan's laws and the absorption laws to rewrite expressions
Simplify a Boolean expression step by step, naming the law used in each step
Check a simplification with a truth table and count the gates it saves

Prerequisites

• AND, OR and NOT and their truth tables (Introduction to Boolean Logic, The AND Operation, The OR Operation, The NOT Operation)
• Building truth tables and comparing columns for equivalence (Truth Tables)
• Brackets and compound statements (Compound Boolean Statements)
• Order of operations and evaluating expressions (Boolean Expressions)
• Logic gates and simple circuits (Logic Gates)

Discussion Starters

1. Why might an engineer care about saving one gate when a chip has billions of them?
2. In ordinary algebra $x + x = 2x$ . Why is $A \lor A$ just $A$ in Boolean algebra?
3. How would you explain 'break the bar, change the sign' to a friend with a sentence about the weather?
4. Is a truth table or a chain of laws more convincing as a proof? When would you use each one?

Common Misconceptions

De Morgan's law only negates the variables: $\neg(A \land B) = \neg A \land \neg B$

Remediation: Use a sentence: 'not (hungry and tired)' does not mean 'not hungry and not tired'. Then build both truth tables side by side and find the rows that differ.

Boolean algebra follows all the rules of ordinary algebra

Remediation: Contrast $x + x = 2x$ with $A \lor A = A$ , and the failure of $a + bc = (a + b)(a + c)$ for numbers with the Boolean distributive law. Checking with 0 and 1 shows where the two systems differ.

An expression that looks shorter is automatically equivalent

Remediation: Insist on naming a law for every step and on a truth table check at the end. Show a 'simplification' that uses an invented law and let students find the row where it fails.

Differentiation Ideas

For Struggling Students:

• Start with one law per expression and give students a law sheet to point at
• Check every step with the values 0 and 1 before moving on
• Use only 2 variables, so each truth table check has just 4 rows

For On-Level Students:

• Simplify expressions that need 3 or 4 laws and name each one
• Prove the absorption law from the identity, distributive and null laws
• Count the gates before and after each simplification

For Advanced Students:

• Prove De Morgan's law for three variables: $\neg(A \land B \land C) = \neg A \lor \neg B \lor \neg C$
• Show that AND, OR and NOT can all be built from NAND gates alone
• Simplify $(A \land B) \lor (A \land \neg B \land C)$ and explain each step

Standards Alignment

HSA.SSE.A.2 (CCSS.MATH.CONTENT.HSA.SSE.A.2)
Use the structure of an expression to identify ways to rewrite it
CCSS.MATH.PRACTICE.MP7 (MP7)
Look for and make use of structure
CCSS.MATH.PRACTICE.MP3 (MP3)
Construct viable arguments and critique the reasoning of others

Lesson Resources

visualInteractive Truth Table
Students compare the AND, OR, NOT, NAND and NOR columns and see De Morgan's laws: NAND matches $\neg A \lor \neg B$ , NOR matches $\neg A \land \neg B$
activityLaw Cards
Pairs get one card per law and simplify expressions by laying down one card for each step
worksheetSimplify and Check
Expressions to simplify with named laws, each followed by a truth table check and a gate count

Lesson Content

Everything students see: definition, examples, common mistakes, applications. Tap to open.

Definition

Boolean algebra is a set of laws for rewriting Boolean expressions. Each law says that two expressions are equivalent: they have the same truth value for every input, so you may always replace one with the other. With the laws you can simplify an expression without building a new truth table every time.

We write 1 for true and 0 for false (the interactive truth tables use 1 and 0 too). Engineers often write

A \cdot B

for

A \land B

A + B

for

A \lor B

and

\overline{A}

for

\neg A

: these mean exactly the same. In this lesson we use

\land

\lor

and

\neg

The laws (

A

B

and

C

are Boolean variables):

Law	AND form	OR form
Identity	$A \land 1 = A$	$A \lor 0 = A$
Null (domination)	$A \land 0 = 0$	$A \lor 1 = 1$
Idempotent	$A \land A = A$	$A \lor A = A$
Complement	$A \land \neg A = 0$	$A \lor \neg A = 1$
Double negation	$\neg\neg A = A$	(only one form)
Commutative	$A \land B = B \land A$	$A \lor B = B \lor A$
Associative	$(A \land B) \land C = A \land (B \land C)$	$(A \lor B) \lor C = A \lor (B \lor C)$
Distributive	$A \land (B \lor C) = (A \land B) \lor (A \land C)$	$A \lor (B \land C) = (A \lor B) \land (A \lor C)$
Absorption	$A \land (A \lor B) = A$	$A \lor (A \land B) = A$
De Morgan	$\neg(A \land B) = \neg A \lor \neg B$	$\neg(A \lor B) = \neg A \land \neg B$

Notice the pattern: swap

\land

with

\lor

and 0 with 1 in one column and you get the other column. This is called duality.

Simplifying step by step: use one law per step and name it. Then check the result with a truth table: if the final columns match in every row, the simplification is correct.

Worked Examples

Simplify $(A \land 1) \lor (B \land 0)$ .

Use the identity law on the first bracket

$A \land 1 = A$ , because AND with true changes nothing → $A \lor (B \land 0)$

Use the null law on the second bracket

$B \land 0 = 0$ , because AND with false is always false → $A \lor 0$

Use the identity law again

$A \lor 0 = A$ , because OR with false changes nothing → $A$

Answer: $(A \land 1) \lor (B \land 0) = A$ . The value of $B$ does not matter at all.

Common Mistakes

Writing $\neg(A \land B) = \neg A \land \neg B$

Why it's wrong: De Morgan's law flips the operator as well as the variables. Test $A = 1$ , $B = 0$ : the left side is $\neg 0 = 1$ , the right side is $0 \land 1 = 0$ .

Correct: Break the bar and change the sign: $\neg(A \land B) = \neg A \lor \neg B$ and $\neg(A \lor B) = \neg A \land \neg B$ .

Using rules of ordinary algebra, such as $A \lor A = 2A$ or $A \land A = A^2$

Why it's wrong: Boolean variables are only 0 or 1, and $1 \lor 1$ is 1, not 2. Repeating a variable adds nothing new.

Correct: Use the idempotent law: $A \lor A = A$ and $A \land A = A$ .

Reading $A \lor B \land C$ as $(A \lor B) \land C$

Why it's wrong: AND is evaluated before OR, just like multiplication before addition. With $A = 1$ , $B = 0$ , $C = 0$ the correct value is $1 \lor 0 = 1$ , but the wrong reading gives $1 \land 0 = 0$ .

Correct: Add the brackets before you apply a law: $A \lor B \land C = A \lor (B \land C)$ .

Using the complement law on two different variables, as in $A \land \neg B = 0$

Why it's wrong: The complement law only works for a variable and its own negation. With $A = 1$ , $B = 0$ : $A \land \neg B = 1 \land 1 = 1$ , not 0.

Correct: Look for the same letter: $A \land \neg A = 0$ and $B \lor \neg B = 1$ , but $A \land \neg B$ cannot be simplified.

Why It Matters

Every

\land

\lor

and

\neg

in an expression becomes a logic gate in a circuit. A shorter expression means fewer gates, and fewer gates mean a chip that is cheaper, smaller, faster and uses less power.

Electronics: a processor contains billions of gates, so saving one gate in a circuit that is copied a million times saves a million gates
Programming: a condition like NOT (weekend OR holiday) can be rewritten as (NOT weekend) AND (NOT holiday), which is often easier to read and test
Search and databases: a filter such as math OR (math AND logic) gives exactly the same results as just math
Proofs: the laws let you prove that two circuits or two conditions do the same job without trying every input

In the lesson Truth Tables you checked equivalences row by row, and in the lesson Logic Gates you built circuits. Boolean algebra connects the two: it turns a big circuit into a small one, and a truth table confirms that nothing changed.

Real World Applications

Designing Cheaper Chips

Chip designers simplify every circuit with Boolean algebra before it is built, because each gate costs space, power and money.

Example:

A circuit for $(A \land B) \lor (A \land C)$ uses 3 gates. Factored as $A \land (B \lor C)$ , it needs only 2.

1Try It Yourself

A chip contains 1000 copies of a circuit that computes $(A \land B) \lor (A \land C)$ . Count one gate for each $\land$ and each $\lor$ .

How many gates does the whole chip save when the circuit is simplified to $A \land (B \lor C)$ ?

Step 1: Write the mathematical expression

Write the saving as a calculation:

Readable Program Conditions

Programmers use De Morgan's laws to remove confusing double negations from conditions in their code.

Example:

NOT (weekend OR holiday) is the same as (NOT weekend) AND (NOT holiday): the shop is open on days that are neither.

2Try It Yourself

A program opens a barrier if $\neg(\neg P \land \neg G)$ , where $P$ means the visitor has a pass and $G$ means the visitor is on the guest list.

What is the simplest form of the condition, and how many NOT operators does it remove?

Step 1: Write the mathematical expression

Write the number of NOT operators before and after as a subtraction:

Search Filters

Search engines and databases simplify filters with the absorption law before they run them.

Example:

The filter math OR (math AND logic) returns exactly the same books as the filter math.

3Try It Yourself

A library has 40 math books, and 15 of them are also about logic. A reader searches for math OR (math AND logic).

How many books does the search return?

Step 1: Write the mathematical expression

Add the math books and the extra books that (math AND logic) brings in:

Key Takeaways

1Boolean algebra uses laws to rewrite an expression into an equivalent one, without a new truth table each time
2Identity, null, idempotent and complement laws remove constants and repeated variables: $A \land 1 = A$ , $A \lor 1 = 1$ , $A \lor A = A$ , $A \land \neg A = 0$
3Commutative, associative and distributive laws reorder, regroup and factor; in Boolean algebra OR also distributes over AND
4Absorption laws: $A \lor (A \land B) = A$ and $A \land (A \lor B) = A$
5De Morgan's laws: break the bar and change the sign, $\neg(A \land B) = \neg A \lor \neg B$ and $\neg(A \lor B) = \neg A \land \neg B$
6Simplify one law at a time, name each law and check the result with a truth table; a simpler expression means fewer gates

Frequently Asked Questions

Why can OR distribute over AND, when $a + b \times c$ is not $(a + b) \times (a + c)$ for numbers?

Because Boolean variables are only 0 or 1. Check both cases: if

A = 1

, both sides of

A \lor (B \land C) = (A \lor B) \land (A \lor C)

are 1; if

A = 0

, both sides become

B \land C

. With ordinary numbers

1 + 2 \times 3 = 7

but

(1 + 2) \times (1 + 3) = 12

, so this law only holds in Boolean algebra.

How do I know which law to use next?

Look for patterns: a NOT in front of brackets calls for De Morgan, a variable repeated in two brackets calls for factoring (distributive law), and a variable next to its own negation calls for the complement law. The constants 0 and 1 disappear with the identity and null laws.

Do I still need truth tables if I know the laws?

The laws find the simplification, the truth table confirms it. A table with 2 variables has only 4 rows, so it is a quick and reliable check, especially when you are not sure about a step.

Can I check a law with ordinary arithmetic?

Yes, with 0 and 1:

A \land B = A \times B

\neg A = 1 - A

and

A \lor B = A + B - A \times B

. For example, with

A = 1

and

B = 1

1 + 1 - 1 \times 1 = 1

, so

1 \lor 1 = 1

. The calculator in this lesson works with these numbers.

Glossary

Boolean algebra: The set of laws for rewriting and simplifying Boolean expressions
Law: An equivalence that holds for every value of the variables, such as $A \lor 0 = A$
Equivalent: Having the same truth value in every row of the truth table
Simplify: Rewrite an expression with fewer operators while keeping it equivalent
De Morgan's laws: $\neg(A \land B) = \neg A \lor \neg B$ and $\neg(A \lor B) = \neg A \land \neg B$
Absorption law: $A \lor (A \land B) = A$ and $A \land (A \lor B) = A$

Formula Card

Identity and null laws

A \land 1 = A, \quad A \lor 0 = A, \quad A \land 0 = 0, \quad A \lor 1 = 1

AND with 1 and OR with 0 change nothing; AND with 0 and OR with 1 decide the result

Idempotent and complement laws

A \land A = A, \quad A \lor A = A, \quad A \land \neg A = 0, \quad A \lor \neg A = 1

Repeating a variable adds nothing; a variable with its own negation gives a constant

Double negation

\neg\neg A = A

Two NOTs cancel each other out

Distributive laws

A \land (B \lor C) = (A \land B) \lor (A \land C), \quad A \lor (B \land C) = (A \lor B) \land (A \lor C)

Both hold in Boolean algebra; the second one does not work for ordinary numbers

Absorption laws

A \lor (A \land B) = A, \quad A \land (A \lor B) = A

The longer part is swallowed by $A$

De Morgan's laws

\neg(A \land B) = \neg A \lor \neg B, \quad \neg(A \lor B) = \neg A \land \neg B

Break the bar, change the sign

Teacher Guide: Boolean Algebra

Use this lesson with your class

For Teachers

For Struggling Students:

For On-Level Students:

For Advanced Students:

Lesson Content

Definition

Worked Examples

Common Mistakes

Why It Matters

Real World Applications

Designing Cheaper Chips

Readable Program Conditions

Search Filters

Key Takeaways

Frequently Asked Questions

Glossary

Formula Card

Identity and null laws

Idempotent and complement laws

Double negation

Distributive laws

Absorption laws

De Morgan's laws

More in This Topic

Introduction to Boolean Logic

True and False Statements

The AND Operation

The OR Operation