Let p and q be propositional variables. Use logic equivalence rules and truth table to show that following proposition is a tautology. ((p Vq) + (p ^q)) + ((p V (q)) ^ (q V (-p)))