All mock tests are FREE till 31 December — register to save your progress
Unit 1 · Discrete Structures and Optimization Paper 2 CS · September 2022

Consider the following in Boolean algebra:
X: a ∨ (b ∧ (a ∨ c)) = (a ∨ b) ∧ (a ∨ c)
Y: a ∧ (b ∨ (a ∧ c)) = (a ∧ b) ∨ (a ∧ c)
The identity a ∨ (b ∧ c) = (a ∨ b) ∧ c is satisfied if

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: C. Both X and Y are true

Explanation

X and Y are the two dual forms of the modular law, and both hold in every Boolean (distributive) algebra. a ∨ (b ∧ c) = (a ∨ b) ∧ c is the modular identity, valid when a ≤ c; it is the case where both forms apply.

More Discrete Structures and Optimization questions