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

Definition

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