Rule of Distribution/Conjunction Distributes over Disjunction/Left Distributive/Formulation 1/Reverse Implication

Definition

 * $\left({p \land q}\right) \lor \left({p \land r}\right) \vdash p \land \left({q \lor r}\right)$