The distributive property of binary activities is generalized in mathematics by the distributive law of Boolean algebra and elementary algebra. Distribution applies, in propositional logic, to two clear substitution laws. The rules allow one to reformulate, within logical facts, conjunctions and disjunctions.
