Proving Tautology and Logical Equivalence using Laws of Propositional Logic | Logic and Proofs |