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

Definition

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