Advanced Boolean Expression Simplification Quiz

Reviewed by Alva Benedict B.
Alva Benedict B., PhD
College Expert
Review Board Member
Alva Benedict B. is an experienced mathematician and math content developer with over 15 years of teaching and tutoring experience across high school, undergraduate, and test prep levels. He specializes in Algebra, Calculus, and Statistics, and holds advanced academic training in Mathematics with extensive expertise in LaTeX-based math content development.
, PhD
By Thames
T
Thames
Community Contributor
Quizzes Created: 8156 | Total Attempts: 9,588,805
| Attempts: 11 | Questions: 15 | Updated: Jan 28, 2026
Please wait...
Question 1 / 16
🏆 Rank #--
Score 0/100

1) Simplify (A ∧ B) ∨ (A' ∧ B)

Explanation

Factor out B: (A ∧ B) ∨ (A' ∧ B) = B ∧ (A ∨ A'). Since A ∨ A' = 1, then B ∧ 1 = B.

Submit
Please wait...
About This Quiz
Advanced Boolean Expression Simplification Quiz - Quiz

Ready to tackle expressions that look messy at first glance but hide a simple core? In this quiz, you’ll work with multi-term Boolean expressions and learn to simplify them by grouping, factoring, and using De Morgan’s law in creative ways. You’ll handle forms like (A ∧ B) ∨ (A' ∧... see moreB), (A ∧ B ∧ C) ∨ (A ∧ B ∧ C'), and mixed expressions involving both negations and shared factors. As you simplify, you’ll get used to steps like pulling out common pieces, using X ∨ X = X and X ∧ X = X, and recognizing when an expression really just reduces to A, B, or A ∨ B. By the end, you’ll see that even the most complicated-looking Boolean formulas often collapse to something surprisingly simple once you know which rules to apply.
see less

2)

What first name or nickname would you like us to use?

You may optionally provide this to label your report, leaderboard, or certificate.

2) Simplify (A ∨ B) ∧ (A' ∨ B)

Explanation

Factor out B: (A ∨ B) ∧ (A' ∨ B) = B ∨ (A ∧ A'). Since A ∧ A' = 0 by complement law, then B ∨ 0 = B by identity law.

Submit

3) Simplify p(A ∧ B) ∧ A

Explanation

First, apply De Morgan's law: ¬(A ∧ B) = ¬A ∨ ¬B. Then, (¬A ∨ ¬B) ∧ A = (¬A ∧ A) ∨ (¬B ∧ A) = 0 ∨ (A ∧ ¬B) = A ∧ ¬B, which is A ∧ B'.

Submit

4) Simplify (A ∧ B) ∨ (A ∧ B) ∨ C

Explanation

By idempotent law, (A ∧ B) ∨ (A ∧ B) is equivalent to (A ∧ B). Therefore, the expression simplifies to (A ∧ B) ∨ C.

Submit

5) Simplify A ∨ (B ∧ (A ∨ C))

Explanation

First, apply distributive law: B ∧ (A ∨ C) = (B ∧ A) ∨ (B ∧ C). Then, A ∨ [(B ∧ A) ∨ (B ∧ C)] = A ∨ (B ∧ A) ∨ (B ∧ C). By absorption, A ∨ (B ∧ A) = A, so the expression simplifies to A ∨ (B ∧ C).

Submit

6) Simplify (A ∧ B ∧ C) ∨ (A ∧ B ∧ C')

Explanation

Factor out A ∧ B: (A ∧ B) ∧ (C ∨ C'). Since C ∨ C' = 1 by complement law, then (A ∧ B) ∧ 1 = A ∧ B.

Submit

7) Simplify p(A ∨ B) ∨ A

Explanation

First, apply De Morgan's law: ¬(A ∨ B) = ¬A ∧ ¬B. Then, (¬A ∧ ¬B) ∨ A. Using distributive law, this is (¬A ∨ A) ∧ (¬B ∨ A) = 1 ∧ (A ∨ ¬B) = A ∨ ¬B.

Submit

8) Simplify A ∧ (A ∨ B) ∧ (A ∨ C)

Explanation

By absorption law, A ∧ (A ∨ B) = A. Then, A ∧ (A ∨ C) = A. Therefore, the entire expression simplifies to A.

Submit

9) Simplify (A ∧ B) ∨ (A' ∧ B) ∨ (A ∧ B')

Explanation

First, combine the first two terms: (A ∧ B) ∨ (A' ∧ B) = B ∧ (A ∨ A') = B ∧ 1 = B. Then, B ∨ (A ∧ B') = (B ∨ A) ∧ (B ∨ B') = (A ∨ B) ∧ 1 = A ∨ B. Thus, the expression simplifies to A ∨ B.

Submit

10) Simplify (A ∧ B ∧ C) ∨ (A ∧ B' ∧ C) ∨ (A' ∧ B ∧ C)

Explanation

Factor out C: [ (A ∧ B) ∨ (A ∧ B') ∨ (A' ∧ B) ] ∧ C. Now, (A ∧ B) ∨ (A ∧ B') = A ∧ (B ∨ B') = A ∧ 1 = A. Then, A ∨ (A' ∧ B) = (A ∨ A') ∧ (A ∨ B) = 1 ∧ (A ∨ B) = A ∨ B. So overall, the expression is (A ∨ B) ∧ C.

Submit

11) Simplify p((A ∧ B) ∨ (A ∧ C))

Explanation

To simplify ¬((A ∧ B) ∨ (A ∧ C)), we apply De Morgan's law to the outer negation, which gives ¬(A ∧ B) ∧ ¬(A ∧ C). Then, we apply De Morgan's law to each inner negation: ¬(A ∧ B) becomes ¬A ∨ ¬B, and ¬(A ∧ C) becomes ¬A ∨ ¬C. Therefore, the expression simplifies to (¬A ∨ ¬B) ∧ (¬A ∨ ¬C).

Submit

12) Simplify A ∧ (A' ∨ B) ∧ (A' ∨ C)

Explanation

First, simplify A ∧ (A' ∨ B) using the distributive law: A ∧ (A' ∨ B) = (A ∧ A') ∨ (A ∧ B) = 0 ∨ (A ∧ B) = A ∧ B. Then, take this result and combine it with (A' ∨ C): (A ∧ B) ∧ (A' ∨ C) = (A ∧ B ∧ A') ∨ (A ∧ B ∧ C) = 0 ∨ (A ∧ B ∧ C) = A ∧ B ∧ C. Thus, the entire expression simplifies to A ∧ B ∧ C.

Submit

13) Simplify (A ∨ B ∨ C) ∧ (A ∨ B ∨ C')

Explanation

We can factor out A ∨ B from both terms: (A ∨ B) ∨ C ∧ (A ∨ B) ∨ C' = (A ∨ B) ∨ (C ∧ C'). Since C ∧ C' = 0 by the complement law, the expression becomes (A ∨ B) ∨ 0 = A ∨ B by the identity law.

Submit

14) Simplify p(pA ∧ B) ∨ (A ∧ B)

Explanation

First, apply De Morgan's law to ¬(¬A ∧ B): ¬(¬A ∧ B) = ¬¬A ∨ ¬B = A ∨ ¬B. Then, the expression becomes (A ∨ ¬B) ∨ (A ∧ B). Now, simplify (A ∨ ¬B) ∨ (A ∧ B). Since A ∨ ¬B is true whenever A is true or B is false, and A ∧ B is true only when both A and B are true, but if A is true, A ∨ ¬B is already true, so the addition of A ∧ B does not change the outcome. Therefore, the expression simplifies to A ∨ ¬B.

Submit

15) Simplify ((A ∨ B) ∧ C) ∨ ((A ∨ B) ∧ C')

Explanation

Factor out (A ∨ B) from both terms: (A ∨ B) ∧ (C ∨ C'). Since C ∨ C' = 1 by the complement law, the expression becomes (A ∨ B) ∧ 1 = A ∨ B by the identity law.

Submit
×
Saved
Thank you for your feedback!
View My Results
Alva Benedict B. |PhD
College Expert
Alva Benedict B. is an experienced mathematician and math content developer with over 15 years of teaching and tutoring experience across high school, undergraduate, and test prep levels. He specializes in Algebra, Calculus, and Statistics, and holds advanced academic training in Mathematics with extensive expertise in LaTeX-based math content development.
Cancel
  • All
    All (15)
  • Unanswered
    Unanswered ()
  • Answered
    Answered ()
Simplify (A ∧ B) ∨ (A' ∧ B)
Simplify (A ∨ B) ∧ (A' ∨ B)
Simplify p(A ∧ B) ∧ A
Simplify (A ∧ B) ∨ (A ∧ B) ∨ C
Simplify A ∨ (B ∧ (A ∨ C))
Simplify (A ∧ B ∧ C) ∨ (A ∧ B ∧ C')
Simplify p(A ∨ B) ∨ A
Simplify A ∧ (A ∨ B) ∧ (A ∨ C)
Simplify (A ∧ B) ∨ (A' ∧ B) ∨ (A ∧ B')
Simplify (A ∧ B ∧ C) ∨ (A ∧ B' ∧ C) ∨...
Simplify p((A ∧ B) ∨ (A ∧ C))
Simplify A ∧ (A' ∨ B) ∧ (A' ∨ C)
Simplify (A ∨ B ∨ C) ∧ (A ∨ B ∨ C')
Simplify p(pA ∧ B) ∨ (A ∧ B)
Simplify ((A ∨ B) ∧ C) ∨ ((A ∨ B) ∧ C')
play-Mute sad happy unanswered_answer up-hover down-hover success oval cancel Check box square blue
Alert!