The GATE Grind

GATE 2016 CS (CS2) – Question 18

Digital Logic · Boolean Algebra and Minimization · 1 mark · Multiple choice

Boolean variables satisfy $x_1\oplus x_2\oplus x_3\oplus x_4=0$. Which must hold?

  1. $x_1x_2x_3x_4=0$
  2. $x_1x_3+x_2=0$
  3. $\bar x_1\oplus\bar x_3=\bar x_2\oplus\bar x_4$
  4. $x_1+x_2+x_3+x_4=0$

Practise this question in The GATE Grind →

Show answer and explanation

Correct answer: (C) $\bar x_1\oplus\bar x_3=\bar x_2\oplus\bar x_4$

Explanation

Rearrange to $x_1\oplus x_3=x_2\oplus x_4$. Since complementing both XOR inputs preserves its value, $\bar a\oplus\bar b=a\oplus b$. Thus C always follows; the remaining expressions fail on even-parity counterexamples.

More Boolean Algebra and Minimization questions

All Boolean Algebra and Minimization questions →