[Q.4(p^^q),vv(sim p^^sim q),-=,,],[" a) "p harr q," b) "p rarr q," c) "p^^q," d) "p vv q]

(p^^~q)vv(~p^^q) is :

(p ^^ q) vv (~q ^^ p) -=

(p ^^ q) vv (~q ^^ p) -=

Show that ~(p harr q) -= ( p ^^ ~q) vv(~p ^^q) .

Show that ~(p harr q) -= ( p ^^ ~q) vv(~p ^^q) .

Show that ~(p harr q) -= ( p ^^ ~q) vv(~p ^^q) .

(p ^^ ~ q) ^^(~ p vv q) is

The logically equivalent proposition of p hArr q is (p^^q)vv(p^^q) b.(p rArr q)^^(p rArr q) c.(p^^q)vv(p rArr q) d.(p^^q)o+(p vv q)

The statement which is not a tautology is (p harr q)[(p rarr q)^^(q rarr q)] b.(p rarr q)vv(sim p rarr q) c.(p^^q)rarr(p vv q)d(p^^q)vv[(p vv q)rarr-q]