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

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

This can be expressed as two separate theorems: