Rule of Distribution/Disjunction Distributes over Conjunction/Right Distributive

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