Example 6: Show that (~p V q) V(p/~q) is a tautology. (p q) V(p/ ~q)=(PVq)V(~q/p) Commutative Laws = pV [q V(~q/p)] Associative Laws =~p V [(q V-q) /(qVp)] Distributive Laws =~PV [t/(q Vp)] Negation Laws =~p V (q Vp) Identity Laws =pV (p Vq) Commutative Laws =(~p Vp) Vq Associative Laws =tvq Negation Laws Et Universal Bound Laws Therefore, (~p Vq) V(p/~q) is a tautology.3. Show that (p - q) - r= (pA ~q) Vr using laws of equivalence.\f