Rule of Distribution/Disjunction Distributes over Conjunction

Definition
Disjunction distributes over conjunction: