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

Definition

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