Rule of Distribution

Disjunction Distributes over Conjunction
Their abbreviation in a tableau proof is $\text{Dist}$.