Rule of Distribution/Conjunction Distributes over Disjunction/Right Distributive

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