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

Theorem
The disjunction operator is right distributive over the conjunction operator:
 * $\left({q \land r}\right) \lor p \dashv \vdash \left({q \lor p}\right) \land \left({r \lor p}\right)$

This can be expressed as two separate theorems: