Using truth table, prove that `~ (p hArr ~q)` is equivalent to `p hArr q`.

Using truth table, prove that : ~[(~p) wedge q] is logically equivalent to p vee (~q) .

~ ( ~p) harr p is

~ [ ~ p ^^ ( p harr q)] -= is equivalent to

The statement p to(q to p) is equivalent to

p to q is logically equivalent to

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

Using truth table show that - (p vv q) vv (~ p ^^ q ) is logically equivalent to ~ p.

Using truth tables, prove the following equivalences : (1) ~pvvq-=~(p^^q)to[~pvv(~pvvq)] (2) p""iffq-=(p^^q)vv(~p^^~q) (3) (p^^q)tor-=pto(qtor)

construct truth table for ~(~p ^^ ~q)

If p and q are two statements, then p vv ~ ( p Rightarrow ~ q) is equivalent to