Advanced Boolean Expression Simplification Quiz

Reviewed by Editorial Team
The ProProfs editorial team is comprised of experienced subject matter experts. They've collectively created over 10,000 quizzes and lessons, serving over 100 million users. Our team includes in-house content moderators and subject matter experts, as well as a global network of rigorously trained contributors. All adhere to our comprehensive editorial guidelines, ensuring the delivery of high-quality content.
Learn about Our Editorial Process
| By Thames
T
Thames
Community Contributor
Quizzes Created: 7387 | Total Attempts: 9,527,684
| Questions: 15 | Updated: Dec 1, 2025
Please wait...
Question 1 / 15
0 %
0/100
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
Simplification Rules Quizzes & Trivia

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)
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!
15)
Your input helps us improve, and you’ll get your detailed results next.
View My Results
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')
Alert!

Advertisement