Absorption Law Proof Propositional Logic