Distributivgesetz

Die Äquivalenzen, die zwei binäre Operatoren verbinden, indem der eine über den anderen distribuiert wird; in der Booleschen Logik lauten die beiden Formen A ∧ (B ∨ C) ↔ (A ∧ B) ∨ (A ∧ C) und A ∨ (B ∧ C) ↔ (A ∨ B) ∧ (A ∨ C).

Ein Verträglichkeitsgesetz zwischen zwei binären Operationen · und + auf einer Menge, das besagt, dass a·(b + c) = a·b + a·c und (b + c)·a = b·a + c·a für alle Elemente gilt, also dass eine Operation über die andere verteilt.

Eine Beziehung zwischen zwei binären Operationen, die zeigt, dass eine Operation über die andere verteilt (distributiv) wird, üblicherweise geschrieben als a·(b + c) = a·b + a·c (linksdistributiv) und (b + c)·a = b·a + c·a (rechtsdistributiv), wenn beide gelten.