Which of the following statement is true:-

Options

A. `~(phArr ~q)` is tautology
B. `~(p hArr ~q)` is equivalent to `pharr q`
C. `(p^^ ~q)` is a fallacy
D. `(p ^^ ~q)^^(~p ^^q)` is a tautology

Answer

B

Explanation

`{:(p,q,-q,prarrq,qrarrp,prarr-q,-qrarrp,pharrq,pharr-q),(T,T,F,T,T,F,T,T,F),(T,F,T,F,T,T,T,F,T),(F,T,F,T,F,T,T,F,T),(F,F,T,T,T,T,F,T,F):}`