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

Definition

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