Ley Distributiva

Las equivalencias que relacionan dos operadores binarios distribuyendo uno sobre el otro; en lógica booleana las dos formas son A ∧ (B ∨ C) ↔ (A ∧ B) ∨ (A ∧ C) y A ∨ (B ∧ C) ↔ (A ∨ B) ∧ (A ∨ C).

Ley de compatibilidad entre dos operaciones binarias · y + en un conjunto que establece que a·(b + c) = a·b + a·c y (b + c)·a = b·a + c·a para todos los elementos, de modo que una operación se distribuye sobre la otra.

Relación entre dos operaciones binarias que muestra que una operación se distribuye sobre la otra, normalmente escrita como a·(b + c) = a·b + a·c (distributividad izquierda) y (b + c)·a = b·a + c·a (distributividad derecha) cuando ambas se cumplen.