Question:

The conditional statement

\( ((p \wedge q) \to (( \sim p) \vee r)) \vee ((( \sim p) \vee r) \to (p \wedge q)) \) is :

Show Hint

Let A = p AND q and B = (NOT p) OR r. The statement has the form (A -> B) OR (B -> A); expand each implication as (NOT x) OR y.
Updated On: Oct 31, 2026
  • a tautology
  • a contadiction
  • equivalent to \( p \wedge q \)
  • equivalent to \( ( \sim p) \vee r \)
Show Solution
collegedunia
Verified By Collegedunia

The Correct Option is A

Solution and Explanation

Step 1: Let \( A=p\wedge q \) and \( B=(\sim p)\vee r \). The statement is \( (A\to B)\vee(B\to A) \).
Step 2: \( A\to B\equiv \sim A\vee B \) and \( B\to A\equiv \sim B\vee A \).
Step 3: Hence the statement \( \equiv \sim A\vee B\vee\sim B\vee A \).
Step 4: It contains both \( B\vee\sim B \) (and \( A\vee\sim A \)), which is always true. So it is a tautology.
Answer: (A) a tautology
Was this answer helpful?
0
0