Distributivity

In abstract algebra and formal logic, the distributive property of binary operations generalizes the distributive law from Boolean algebra and elementary algebra. In propositional logic, distribution refers to two valid rules of replacement. The rules allow one to reformulate conjunctions and disjunctions within logical proofs. For example, in arithmetic: In the left-hand side of the first equation, the 2 multiplies the sum of 1 and 3; on the right-hand side, it multiplies the 1 and the 3 individually, with the products added afterwards.Because these give the same final answer (8), multiplication by 2 is said to distribute over addition of 1 and 3.Since one could have put any real numbers in place of 2, 1, and 3 above, and still have obtained a true equation, multiplication of real numbers distributes over addition of real numbers. Given a set S and two binary operators ∗ and + on S, the operation: ∗ is left-distributive over + if, given any elements x, y and z of S, ∗ is right-distributive over + if, given any elements x, y, and z of S, ∗ is distributive over + if it is left- and right-distributive. Notice that when ∗ is commutative, the three conditions above are logically equivalent.