Distribution

Distribution is a replacement rule in sentential logic that says that P ^ (Q v R) is identical to (P ^ Q) v (P ^ R) and P v (Q ^ R) is identical to (P v Q) ^ (P v R). It gets its name because you are “distributing” the conjunction or disjunction through the parentheses.