Absorption Laws (Logic)

Theorem

 * $$P \land \left({P \lor Q}\right) \vdash P$$
 * $$P \vdash P \land \left({P \lor Q}\right)$$


 * $$P \lor \left ({P \land Q}\right) \vdash P$$
 * $$P \vdash P \lor \left ({P \land Q}\right)$$

Proof

 * $$P \land \left({P \lor Q}\right) \vdash P$$:


 * $$P \vdash P \land \left({P \lor Q}\right)$$:


 * $$P \lor \left ({P \land Q}\right) \vdash P$$


 * $$P \vdash P \lor \left ({P \land Q}\right)$$