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

Definition

 * $\paren {q \land r} \lor p \vdash \paren {q \lor p} \land \paren {r \lor p}$