The logical statement `(p implies q) ^^ (q implies ~p)` is equivalent to :

A

p

B

q

C

`~p`

D

`~q`

Verified by Experts

The correct Answer is:

C

Similar Questions

Explore conceptually related problems

The logical statement (~ q implies ~p ) vv (~ q implies p) is equivalent to :

The logical statement (p to q) vv (q to ~ p) is :

If p and q are logical statements, then p rArr (~q rArr p) is equivalent to

(p to q) wedge (q to -p) is equivalent to

~(pvvq)vv(~p^^q) is equivalent to

The logical statement [~(~pvvq)vv(p^^r)]^^(~q^^r) is equivalent to (a) (~p^^~q)^^r (b) ~p vv r (c) (p^^r)^^~q (d) (p^^~q)vvr

If p and q are two logical statements, then prArr (qrArrp) is equivalent to

If p and q are logical statements, then (p^^q)rarr(prarrq) is equivalent to

p to q is logically equivalent to

p ^^ ( q ^^ r) is logically equivalent to