Solveeit Logo

Question

Question: Which of the following is logically equivalent to \[\sim(\sim p \Rightarrow q)\]...

Which of the following is logically equivalent to

(pq)\sim(\sim p \Rightarrow q)

A

pqp \land q

B

pqp \land \sim q

C

pq\sim p \land q

D

p6muq\sim p\mspace{6mu} \land \sim q

Answer

p6muq\sim p\mspace{6mu} \land \sim q

Explanation

Solution

Since (pq)p6muq\sim(p \Rightarrow q) \equiv p\mspace{6mu} \land \sim q

(pq)=6mup6muq\sim(\sim p \Rightarrow q) = \mspace{6mu}\sim p\mspace{6mu} \land \sim q