Without using truth table, prove that `[(pvvq)^^~p]toq` is a tautology.

Similar Questions

Explore conceptually related problems

Without using truth table prove that: (pvvq)^^(pvv~q)-=p

Using truth table , prove that : (ptoq)to[(~ptoq)toq] is a tautology.

Without using truth table show that ~(p vvq)vv(~p^^q)-=~p

Using truth table prove that ~p ^^ q -=(p vv q) ^^ ~p

Without using truth table prove that: (p^^q)vv(~p^^q)vv(p^^~q)-=pvvq

Without using truth tables,show that p^^(q vv ~ p)-=p^^q

Without using truth table prove that: p harr q -=(p^^q)vv(~p^^~q)

Without using truth table prove that: ~[(pvv~q)rarr(p^^~q)]-=(pvv~q)^^(~pvvq)

Without using truth table, prove that: p harr q -= ~(p^^~q)^^~(q^^~p)

Using truth table ,prove that pharrq-=(p^^q)v(~p^^~q) .