The statement p ∧ ~ q ⇒ p ⇒ ~ q is

Step-by-step solution

Using logical equivalence condition p → q ≡ ~ p ∨ q , given statement can be expressed as, p ∧ ~ q → p → ~ q ≡   ~ p ∧ ~ q ∨ ~ p ∨ ~ q . . . . . . . ( 1 ) We know De Morgan's law of logical equivalence is, ~ p ∧ q ≡ ~ p ∨ ~ q Applying De Morgan's law in equation(1) we get, ≡   ~ p ∨ q ∨ ~ p ∨ ~ q ∵ ~ ~ p ≡ p ≡   ~ p ∨ ~ p ∨ q ∨ ~ q ≡ ~ p ∨ t &#8