Ppq QpvqSolutionwe can say that p and q are logically equiva

P=pq, Q=¬pvq

Solution

we can say that p and q are logically equivalent when p<->q is said tautology.

P Q ¬P ¬P V Q P Q P Q ¬ P V Q
------------------------------------------------------------
T T F T T T
T F F F F T
F T T T T T
F F T T T T

so in the above truth table where p=p->q and q= ¬pvq ,so p<->q is tautology hence proved...