Question:

Which of the following Boolean expressions is not a tautology?

Show Hint

Use \(a \Rightarrow b \equiv \sim a \vee b\) and simplify each expression; the one that is not always true is the answer.
Updated On: Nov 4, 2026
  • \((p \Rightarrow q) \vee (\sim q \Rightarrow p)\)
  • \((q \Rightarrow p) \vee (\sim q \Rightarrow p)\)
  • \((p \Rightarrow \sim q) \vee (\sim q \Rightarrow p)\)
  • \((\sim p \Rightarrow q) \vee (\sim q \Rightarrow p)\)
Show Solution
collegedunia
Verified By Collegedunia

The Correct Option is D

Solution and Explanation

Use \(a \Rightarrow b \equiv \sim a \vee b\).
(1) \((p \Rightarrow q) \vee (\sim q \Rightarrow p) = (\sim p \vee q) \vee (q \vee p)\), which contains \(p \vee \sim p\), a tautology.
(2) \((q \Rightarrow p) \vee (\sim q \Rightarrow p) = (\sim q \vee p) \vee (q \vee p)\), which contains \(q \vee \sim q\), a tautology.
(3) \((p \Rightarrow \sim q) \vee (\sim q \Rightarrow p) = (\sim p \vee \sim q) \vee (q \vee p)\), which contains \(p \vee \sim p\), a tautology.
(4) \((\sim p \Rightarrow q) \vee (\sim q \Rightarrow p) = (p \vee q) \vee (q \vee p) = p \vee q\). This is false when \(p\) and \(q\) are both false, so it is not a tautology.
Answer: (4) \((\sim p \Rightarrow q) \vee (\sim q \Rightarrow p)\)
Was this answer helpful?
0
0