Question

Which of the following is logically equivalent to ~[p → (p ∨ ~q)]? 

(A) p ∨ (~p ∧ q ) 

(B) p ∧ (~p ∧ q) 

(C) p ∧ (p ∨ ~q) 

(D) p ∨ (p ∧ ~q)

Answer 1

Correct option: (B) p ∧ (~p ∧ q) 

~[p → (p ∨ ~q)] ≡ p ∧ ~[p ∨ (~q)]

≡ p ∧ (~p ∧ q)