Question

The expression ~(~$p\to q$) is logically equivalent to

• A. ~p ^ ~ q
• B. p ^ q
• C. ~ p ^ q
• D. p ^ ~ q

Answer 1

The correct option is A ~p ^ ~ q

$p$	$q$	$\sim p$	$\sim p\to q$	$\sim (\sim p\to q)$	$(\sim p$^ $\sim q)$
T F T F	T T F F	F T F T	T T T F	F F F T	F F F T