Question:

The negation of the Boolean expression \(x\leftrightarrow\ \sim y\) is equivalent to :

Show Hint

\(x\leftrightarrow\ \sim y\) is true exactly when \(x\) and \(y\) have different truth values, so its negation is true exactly when they are equal.
Updated On: Nov 5, 2026
  • \((x\wedge y)\vee(\sim x\wedge\ \sim y)\)
  • \((\sim x\wedge y)\vee(\sim x\wedge\ \sim y)\)
  • \((x\wedge y)\wedge(\sim x\vee\ \sim y)\)
  • \((x\wedge\ \sim y)\vee(\sim x\wedge y)\)
Show Solution
collegedunia
Verified By Collegedunia

The Correct Option is A

Solution and Explanation

\(x\leftrightarrow\ \sim y\equiv(x\wedge\ \sim y)\vee(\sim x\wedge y)\).
Negation: \(\sim[(x\wedge\ \sim y)\vee(\sim x\wedge y)]\equiv(\sim x\vee y)\wedge(x\vee\ \sim y)\).
Expand: \((\sim x\wedge x)\vee(\sim x\wedge\ \sim y)\vee(y\wedge x)\vee(y\wedge\ \sim y)\equiv(\sim x\wedge\ \sim y)\vee(x\wedge y)\).
This is option (1).
Answer: (1) \((x\wedge y)\vee(\sim x\wedge\ \sim y)\)
Was this answer helpful?
0
0