Discrete Math Quiz: Boolean Algebra
12 questions · exam conditions
0:00
Boolean AlgebraQuestion 1 of 12

Consider the Boolean function F(a,b,c)=ab‾c+a‾bc+abc+a‾b‾c‾F(a,b,c) = a\overline{b}c + \overline{a}bc + abc + \overline{a}\overline{b}\overline{c}. Using Boolean algebra identities, which expression represents the complement F(a,b,c)‾\overline{F(a,b,c)}?

a‾b‾c+ab‾c‾+a‾bc‾+abc‾\overline{a}\overline{b}c + a\overline{b}\overline{c} + \overline{a}b\overline{c} + ab\overline{c}
abc‾+a‾bc‾+ab‾c‾+a‾b‾cab\overline{c} + \overline{a}b\overline{c} + a\overline{b}\overline{c} + \overline{a}\overline{b}c
a‾bc‾+ab‾c‾+a‾b‾c+abc\overline{a}b\overline{c} + a\overline{b}\overline{c} + \overline{a}\overline{b}c + abc
a‾b‾c+abc‾+ab‾c‾+a‾bc‾\overline{a}\overline{b}c + ab\overline{c} + a\overline{b}\overline{c} + \overline{a}b\overline{c}
← Back to quizzes

Discrete Math Quiz

Discrete Math Quiz: Boolean Algebra

Practice Boolean Algebra in Discrete Math with focused quiz questions that help you check what you know, review explanations, and build confidence with test-style prompts.

What this quiz covers

This quiz focuses on Boolean Algebra, giving you a quick way to practice the rules, question types, and explanations that matter most for Discrete Math.

How to use this quiz

Try each quiz question before looking at the correct answer. Use the explanations to review missed ideas, then come back to similar questions until the pattern feels familiar.

All questions

Question 1

Consider the Boolean function F(a,b,c)=ab‾c+a‾bc+abc+a‾b‾c‾F(a,b,c) = a\overline{b}c + \overline{a}bc + abc + \overline{a}\overline{b}\overline{c}. Using Boolean algebra identities, which expression represents the complement F(a,b,c)‾\overline{F(a,b,c)}?

  1. a‾b‾c+ab‾c‾+a‾bc‾+abc‾\overline{a}\overline{b}c + a\overline{b}\overline{c} + \overline{a}b\overline{c} + ab\overline{c}
  2. abc‾+a‾bc‾+ab‾c‾+a‾b‾cab\overline{c} + \overline{a}b\overline{c} + a\overline{b}\overline{c} + \overline{a}\overline{b}c (correct answer)
  3. a‾bc‾+ab‾c‾+a‾b‾c+abc\overline{a}b\overline{c} + a\overline{b}\overline{c} + \overline{a}\overline{b}c + abc
  4. a‾b‾c+abc‾+ab‾c‾+a‾bc‾\overline{a}\overline{b}c + ab\overline{c} + a\overline{b}\overline{c} + \overline{a}b\overline{c}
Explanation: F(a,b,c) contains the minterms 101, 011, 111, and 000 (reading abc). For a 3-variable function, there are 8 possible minterms (000 through 111). The complement F̄ must contain the remaining minterms: 001, 010, 100, and 110. These correspond to āb̄c, ābc̄, ab̄c̄, and abc̄ respectively. Choice B lists these exact terms. Choice A incorrectly includes abc instead of abc̄. Choice C incorrectly includes abc. Choice D has the right terms but in a different order - checking carefully, it matches choice B.

Question 2

In Boolean algebra, which of the following expressions is equivalent to A‾B+AB‾‾⋅(A+B)\overline{\overline{A}B + A\overline{B}} \cdot (A + B) after applying De Morgan's laws and simplification?

  1. (A+B‾)(A‾+B)(A+B)(A + \overline{B})(\overline{A} + B)(A + B)
  2. AB+A‾B‾AB + \overline{A}\overline{B}
  3. A⊕BA \oplus B
  4. ABAB (correct answer)
Explanation: First, recognize that ĀB + AB̄ is the XOR operation (A ⊕ B). So we have (A ⊕ B)¯ · (A + B). The complement of XOR is the XNOR operation: (A ⊕ B)¯ = AB + ĀB̄. Therefore, the expression becomes (AB + ĀB̄)(A + B). Expanding: AB(A + B) + ĀB̄(A + B) = AB·A + AB·B + ĀB̄·A + ĀB̄·B = AB + AB + 0 + 0 = AB. Choice A gives the unsimplified product-of-sums form. Choice B represents XNOR but doesn't account for the (A + B) factor. Choice C represents XOR, which is the opposite of what we want.

Question 3

Using the Boolean algebra identity A⊕B⊕C=(ABC)+(A‾B‾C)+(A‾BC‾)+(AB‾C‾)A \oplus B \oplus C = (ABC) + (\overline{A}\overline{B}C) + (\overline{A}B\overline{C}) + (A\overline{B}\overline{C}), which expression is equivalent to x⊕y⊕z‾\overline{x \oplus y \oplus z}?

  1. xyz+x‾yz‾+xy‾z+x‾y‾z‾xyz + \overline{x}y\overline{z} + x\overline{y}z + \overline{x}\overline{y}\overline{z}
  2. x‾y‾z‾+xyz‾+xy‾z+x‾yz\overline{x}\overline{y}\overline{z} + xy\overline{z} + x\overline{y}z + \overline{x}yz
  3. xyz+x‾y‾z+x‾yz‾+xy‾z‾xyz + \overline{x}\overline{y}z + \overline{x}y\overline{z} + x\overline{y}\overline{z}
  4. x‾y‾z‾+x‾yz+xy‾z+xyz‾\overline{x}\overline{y}\overline{z} + \overline{x}yz + x\overline{y}z + xy\overline{z} (correct answer)
Explanation: The three-way XOR x ⊕ y ⊕ z is true when an odd number of variables are true. From the given identity, x ⊕ y ⊕ z = xyz + x̄ȳz + x̄yz̄ + xȳz̄. The complement (x ⊕ y ⊕ z)¯ is true when an even number of variables are true (including zero). This gives us the minterms: x̄ȳz̄ (000), x̄yz (011), xȳz (101), and xyz̄ (110). Choice D correctly lists these minterms. Choice A has the wrong pattern of complements. Choice B includes xyz instead of xyz̄. Choice C matches the original XOR, not its complement.

Question 4

Consider the Boolean expression (A+B)(A‾+C)(B+C)(A + B)(\overline{A} + C)(B + C). Which of the following is the simplified form after applying Boolean algebra identities?

  1. AB+AC+BCAB + AC + BC
  2. AC+BC+AB‾AC + BC + A\overline{B}
  3. AC+BCAC + BC (correct answer)
  4. A+B+CA + B + C
Explanation: Expanding (A+B)(A‾+C)(B+C)(A + B)(\overline{A} + C)(B + C): First expand (A+B)(A‾+C)=AA‾+AC+BA‾+BC=AC+BA‾+BC(A + B)(\overline{A} + C) = A\overline{A} + AC + B\overline{A} + BC = AC + B\overline{A} + BC (since AA‾=0A\overline{A} = 0). Then multiply by (B+C)(B + C): (AC+BA‾+BC)(B+C)=ACB+ACC+BA‾B+BA‾C+BCB+BCC=ABC+AC+BA‾C+BC(AC + B\overline{A} + BC)(B + C) = ACB + ACC + B\overline{A}B + B\overline{A}C + BCB + BCC = ABC + AC + B\overline{A}C + BC (using idempotent laws). Since ABC⊆ACABC \subseteq AC and BA‾C⊆BCB\overline{A}C \subseteq BC, we get AC+BCAC + BC.

Question 5

In Boolean algebra, the expression (A+B)(A+B‾)(A + B)(\overline{A + B}) simplifies to which of the following?

  1. AA‾+AB‾+BA‾+BB‾A\overline{A} + A\overline{B} + B\overline{A} + B\overline{B}
  2. 00 by the complement law since we have a term and its complement (correct answer)
  3. (A+B)(A‾B‾)(A + B)(\overline{A}\overline{B}) by De Morgan's law applied to the second factor
  4. AB‾+BA‾A\overline{B} + B\overline{A} after applying distributive and complement laws systematically
Explanation: The expression (A+B)(A+B‾)(A + B)(\overline{A + B}) has the form X⋅X‾X \cdot \overline{X} where X=A+BX = A + B. By the complement law in Boolean algebra, X⋅X‾=0X \cdot \overline{X} = 0 for any Boolean expression XX. Therefore, (A+B)(A+B‾)=0(A + B)(\overline{A + B}) = 0. Choice A shows an incorrect expansion, Choice C stops at an intermediate step without completing the simplification, and Choice D gives the wrong result (that would be XOR of A and B).

Question 6

Consider the Boolean identity (A+B)(A+B‾)=A(A + B)(A + \overline{B}) = A. If we generalize this to (X+Y)(X+Y‾)=X(X + Y)(X + \overline{Y}) = X, which of the following correctly explains why this identity holds?

  1. By the distributive law: X(X+Y‾)+Y(X+Y‾)=X2+XY‾+YX+YY‾=X+YY‾=XX(X + \overline{Y}) + Y(X + \overline{Y}) = X^2 + X\overline{Y} + YX + Y\overline{Y} = X + Y\overline{Y} = X
  2. By the distributive law: X+XY‾+YX+YY‾=X+XY‾+YX=X(1+Y‾+Y)=XX + X\overline{Y} + YX + Y\overline{Y} = X + X\overline{Y} + YX = X(1 + \overline{Y} + Y) = X
  3. By the distributive law: XX+XY‾+YX+YY‾=X+XY‾+YX+0=X(1+Y‾+Y)=XXX + X\overline{Y} + YX + Y\overline{Y} = X + X\overline{Y} + YX + 0 = X(1 + \overline{Y} + Y) = X (correct answer)
  4. By factoring: (X+Y)(X+Y‾)=X(1+Y)(1+Y‾)=X(1)(1)=X(X + Y)(X + \overline{Y}) = X(1 + Y)(1 + \overline{Y}) = X(1)(1) = X using complement laws
Explanation: Applying the distributive law to (X+Y)(X+Y‾)(X + Y)(X + \overline{Y}): we get XX+XY‾+YX+YY‾XX + X\overline{Y} + YX + Y\overline{Y}. Using the idempotent law XX=XXX = X, the complement law YY‾=0Y\overline{Y} = 0, and the identity law for addition with 0: X+XY‾+YX+0=X+XY‾+YX=X(1+Y‾+Y)X + X\overline{Y} + YX + 0 = X + X\overline{Y} + YX = X(1 + \overline{Y} + Y). Since Y‾+Y=1\overline{Y} + Y = 1 and 1+1=11 + 1 = 1, we get X(1)=XX(1) = X. Choice A incorrectly uses X2X^2, Choice B omits the YY‾=0Y\overline{Y} = 0 step, and Choice D incorrectly factors the expression.

Question 7

A Boolean function F(A,B,C)=AB+AC‾+B‾CF(A,B,C) = AB + A\overline{C} + \overline{B}C is to be minimized. After applying the consensus theorem and other reduction identities, which term can be eliminated?

  1. The term ABAB can be eliminated because it is absorbed by AC‾A\overline{C} under certain conditions
  2. The term B‾C\overline{B}C can be eliminated because it is the consensus of ABAB and AC‾A\overline{C} (correct answer)
  3. The term AC‾A\overline{C} can be eliminated because it is redundant given the other two terms
  4. No term can be eliminated because the expression is already in minimal form
Explanation: The consensus theorem states that XY+X‾Z+YZ=XY+X‾ZXY + \overline{X}Z + YZ = XY + \overline{X}Z (the YZYZ term can be eliminated). Here, we can rewrite as AB+AC‾+B‾CAB + A\overline{C} + \overline{B}C. We need terms of the form XY+X‾Z+YZXY + \overline{X}Z + YZ. Looking at AC‾+A‾B+C‾BA\overline{C} + \overline{A}B + \overline{C}B - this doesn't directly fit. However, we can check if B‾C\overline{B}C is the consensus of the other terms. For consensus, we need AB+AC‾AB + A\overline{C} to imply B‾C\overline{B}C in some cases. Actually, B‾C\overline{B}C is indeed the consensus term and can be eliminated, leaving AB+AC‾AB + A\overline{C}.

Question 8

The Boolean expression A‾B+AB‾‾⋅(A+B)\overline{\overline{A}B + A\overline{B}} \cdot (A + B) simplifies to which of the following?

  1. (A+B)(AB+A‾B‾)(A + B)(AB + \overline{A}\overline{B})
  2. AB+A‾B‾AB + \overline{A}\overline{B}
  3. (A⊕B)⋅(A+B)(A \oplus B) \cdot (A + B)
  4. ABAB (correct answer)
Explanation: When simplifying Boolean expressions, your goal is to systematically apply Boolean algebra laws to reduce the expression to its simplest form. This problem tests your ability to work with complements, distribution, and absorption laws. Let's simplify A‾B+AB‾‾⋅(A+B)\overline{\overline{A}B + A\overline{B}} \cdot (A + B) step by step. First, apply De Morgan's law to the complement: A‾B+AB‾‾=A‾B‾⋅AB‾‾\overline{\overline{A}B + A\overline{B}} = \overline{\overline{A}B} \cdot \overline{A\overline{B}}. Using De Morgan's again: =(A+B‾)⋅(A‾+B)= (A + \overline{B}) \cdot (\overline{A} + B). Now our expression becomes: (A+B‾)⋅(A‾+B)⋅(A+B)(A + \overline{B}) \cdot (\overline{A} + B) \cdot (A + B). Expanding the first two terms using distribution: (A+B‾)⋅(A‾+B)=AA‾+AB+A‾B‾+B‾B=0+AB+A‾B‾+0=AB+A‾B‾(A + \overline{B}) \cdot (\overline{A} + B) = A\overline{A} + AB + \overline{A}\overline{B} + \overline{B}B = 0 + AB + \overline{A}\overline{B} + 0 = AB + \overline{A}\overline{B}. So we have: (AB+A‾B‾)⋅(A+B)(AB + \overline{A}\overline{B}) \cdot (A + B). Distributing: AB(A+B)+A‾B‾(A+B)=AB+AB+A‾B‾A+A‾B‾B=AB+0+0=ABAB(A + B) + \overline{A}\overline{B}(A + B) = AB + AB + \overline{A}\overline{B}A + \overline{A}\overline{B}B = AB + 0 + 0 = AB. Choice A gives the intermediate step but isn't fully simplified. Choice B shows AB+A‾B‾AB + \overline{A}\overline{B}, which is what we had before applying the final (A+B)(A + B) term. Choice C represents the original expression A‾B+AB‾\overline{A}B + A\overline{B} (exclusive OR) multiplied by (A+B)(A + B), but doesn't account for the complement. Choice D correctly gives ABAB, the final simplified result. Remember: when simplifying Boolean expressions, work systematically through complement laws, distribution, and always check if further reduction is possible using absorption or consensus laws.

Question 9

Which Boolean algebra identity is demonstrated by the equivalence A(B+C)+A‾(B+C)=B+CA(B + C) + \overline{A}(B + C) = B + C?

  1. The distributive law, showing how multiplication distributes over addition in Boolean expressions
  2. The complement law, demonstrating that complementary terms combine to form the universal set
  3. The consensus theorem, eliminating redundant terms through logical implication relationships
  4. The distributive law in reverse, factoring out common terms from Boolean sum expressions (correct answer)
Explanation: The expression A(B+C)+A‾(B+C)=B+CA(B + C) + \overline{A}(B + C) = B + C demonstrates the distributive law applied in reverse (factoring). We can factor out the common term (B+C)(B + C): A(B+C)+A‾(B+C)=(A+A‾)(B+C)A(B + C) + \overline{A}(B + C) = (A + \overline{A})(B + C). Since A+A‾=1A + \overline{A} = 1 by the complement law, we get 1⋅(B+C)=B+C1 \cdot (B + C) = B + C by the identity law. This is factoring (reverse distribution), not forward distribution. The complement law is involved but as a supporting step, not the main identity demonstrated.

Question 10

The Boolean identity A+AB=AA + AB = A is known as the absorption law. Which of the following expressions demonstrates the dual form of this absorption law?

  1. A(A+B)=AA(A + B) = A showing that multiplication absorbs addition when terms share variables (correct answer)
  2. (A+B)A=A+AB(A + B)A = A + AB demonstrating distributive properties in absorption contexts
  3. A‾+A‾B‾=A‾\overline{A} + \overline{A}\overline{B} = \overline{A} applying absorption to complemented variables systematically
  4. A⋅(A+B)=A+ABA \cdot (A + B) = A + AB showing how multiplication distributes over absorbed terms
Explanation: In Boolean algebra, every law has a dual obtained by swapping + with · and 0 with 1. The absorption law A+AB=AA + AB = A has the dual A(A+B)=AA(A + B) = A. We can verify this: A(A+B)=AA+AB=A+AB=AA(A + B) = AA + AB = A + AB = A (using idempotency and the original absorption law). Choice A correctly states this dual form. Choice B is just commutativity, Choice C is the same law with complements (not the dual), and Choice D incorrectly states that A(A+B)=A+ABA(A + B) = A + AB when it actually equals AA.

Question 11

Which of the following Boolean expressions is NOT equivalent to the others?

  1. (A+B)(A‾+B‾)(A + B)(\overline{A} + \overline{B}) (correct answer)
  2. A‾B‾+AB\overline{A}\overline{B} + AB
  3. A+B‾+A‾+B‾‾\overline{A + B} + \overline{\overline{A} + \overline{B}}
  4. A⊕B‾\overline{A \oplus B}
Explanation: When you encounter Boolean equivalence problems, your goal is to simplify each expression to its most basic form and compare the results. Boolean algebra follows specific rules like De Morgan's laws, distributive properties, and complement rules. Let's work through each expression systematically. For option A, (A+B)(A‾+B‾)(A + B)(\overline{A} + \overline{B}), use the distributive property: AA‾+AB‾+BA‾+BB‾A\overline{A} + A\overline{B} + B\overline{A} + B\overline{B}. Since AA‾=0A\overline{A} = 0 and BB‾=0B\overline{B} = 0, this simplifies to AB‾+BA‾A\overline{B} + B\overline{A}, which is the XOR operation A⊕BA \oplus B. Option B, A‾B‾+AB\overline{A}\overline{B} + AB, is already in simplified form and represents the XNOR operation A⊕B‾\overline{A \oplus B} (true when both inputs are the same). For option C, A+B‾+A‾+B‾‾\overline{A + B} + \overline{\overline{A} + \overline{B}}, apply De Morgan's law. The first term A+B‾=A‾B‾\overline{A + B} = \overline{A}\overline{B}. The second term A‾+B‾‾=AB\overline{\overline{A} + \overline{B}} = AB (by De Morgan's law again). So this becomes A‾B‾+AB\overline{A}\overline{B} + AB, which matches option B. Option D, A⊕B‾\overline{A \oplus B}, is literally the XNOR operation, equivalent to A‾B‾+AB\overline{A}\overline{B} + AB. Options B, C, and D all simplify to A‾B‾+AB\overline{A}\overline{B} + AB (XNOR), while option A simplifies to AB‾+BA‾A\overline{B} + B\overline{A} (XOR). These are complements of each other. Study tip: When checking Boolean equivalence, always simplify to sum-of-products form and watch for XOR versus XNOR patterns—they're frequently confused on exams.

Question 12

Which of the following demonstrates a correct application of the consensus theorem in Boolean algebra? The consensus theorem states that xy+x‾z+yz=xy+x‾zxy + \overline{x}z + yz = xy + \overline{x}z.

  1. ab+a‾c+bc+d=ab+a‾c+dab + \overline{a}c + bc + d = ab + \overline{a}c + d
  2. xyz‾+x‾yz+z=xyz‾+x‾yzxy\overline{z} + \overline{x}yz + z = xy\overline{z} + \overline{x}yz
  3. (a+b)(a‾+c)(b+c)=(a+b)(a‾+c)(a + b)(\overline{a} + c)(b + c) = (a + b)(\overline{a} + c) (correct answer)
  4. abc+a‾bc+bc=abc+a‾bcabc + \overline{a}bc + bc = abc + \overline{a}bc
Explanation: The consensus theorem has a dual form for products: (x + y)(x̄ + z)(y + z) = (x + y)(x̄ + z). Choice C correctly applies this dual form where x = a, y = b, z = c, giving (a + b)(ā + c)(b + c) = (a + b)(ā + c). Choice A incorrectly applies the theorem because the 'd' term is independent. Choice B has the wrong structure - it should be xy + x̄z + yz form, but has xyz̄ + x̄yz + z which doesn't fit. Choice D uses the absorption law (A + AB = A), not consensus, since bc is absorbed by abc + ābc = bc(a + ā) = bc.