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 (~p) is a tautology.

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

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

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

Show that [(pvvq)vvr] harr [pvv(qvvr)] is a tautology

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

Show that [(ptoq)^^(qto r)] to ( p to r) is a tautology