Rule of Distribution/Conjunction Distributes over Disjunction/Left Distributive

Theorem
The conjunction operator is left distributive over the disjunction operator: