Question:medium

Negation of the Boolean statement (p ∨ q) ⇒ ((~ r) ∨ p) is equivalent to

Updated On: Mar 19, 2026
  • p ∧ (~ q) ∧ r
  • (~ p) ∧ (~ q) ∧ r
  • (~p) ∧ q ∧ r
  • p ∧ q ∧ (~ r)
Show Solution

The Correct Option is C

Solution and Explanation

To find the negation of the Boolean statement \((p \lor q) \Rightarrow ((\sim r) \lor p)\), we first need to understand the equivalence of implication in terms of logical operators.

The implication \(A \Rightarrow B\) can be rewritten as \(\sim A \lor B\). Therefore, the statement \((p \lor q) \Rightarrow ((\sim r) \lor p)\) can be expressed as:

\sim (p \lor q) \lor ((\sim r) \lor p)

To find the negation of the statement, we use the logical negation:

\sim (\sim (p \lor q) \lor ((\sim r) \lor p))

Using De Morgan's Laws and the double negation, this expression becomes:

  1. Apply negation to the first component: p \lor q becomes \sim p \land \sim q.
  2. The expression \sim ((\sim r) \lor p) becomes r \land \sim p (De Morgan's Laws).

Combine these results:

(\sim p \land \sim q) \land (r \land \sim p) = \sim p \land q \land r

Therefore, the negation of the original Boolean statement is equivalent to:

(\sim p) \land q \land r

This matches the option: (~p) ∧ q ∧ r

Was this answer helpful?
0