Show that `[not q ^^ p] ^^ q ` is a contradiction.

prove that (p^^q) ^^~(pvvq) is a contradiction.

Show that (i) p to (pvvq) is a tautology (ii) (pvvq) ^^(~ p ^^~q) is a contradiction

Show that [ not p vv not q] vv p is a tautology.

Show that (p ^^ not q) vv ( not p vv q) is a tautology.

Show that ( p ^^ q) to (p vv q) is a tautology.

Show that p vee (q wedge r) is a contingency.

Check whether the statement p to (q to p) is a tautology or a contradiction without using the truth table.

Show that (p^^q)vv(~p)vv(p^^~q) is a tautology

Show that p to q and q to p are not equivalent.