Rule of Distribution

Disjunction Distributes over Conjunction
Disjunction distributes over conjunction:

Their abbreviation in a tableau proof are $\text{Dist}$.

Alternative rendition
These can alternatively be rendered as: