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).

Principio

Un operador aplicado a un operando compuesto puede distribuirse en aplicaciones separadas sobre los operandos constituyentes, preservando la equivalencia lógica cuando el álgebra admite la distribución.

Demostración

En el álgebra booleana, A ∧ (B ∨ C) es verdadera exactamente cuando A es verdadera y al menos una de B o C es verdadera; esto coincide con (A ∧ B) ∨ (A ∧ C), lo que puede comprobarse con tablas de verdad.

Aplicación incorrecta

Suponer distributividad en retículos no distributivos o en estructuras algebraicas donde falla una dirección, o distribuir sobre operadores que no interactúan apropiadamente, conduce a transformaciones inválidas.

Consecuencia

Permite factorización y expansión de fórmulas, conversión entre formas normales conjuntiva y disyuntiva y simplificación algébrica utilizada en pruebas y síntesis de circuitos.

Inversión

Fallo de la distributividad: estructuras donde ninguna o solo una dirección de distribución se cumple (por ejemplo, ciertos retículos no distributivos o álgebras donde las operaciones no interactúan como conjunción y disyunción).

Límite

Se cumple en álgebra booleana y retículos distributivos; no es universal para operadores binarios arbitrarios, contextos de operadores mixtos o cuando efectos secundarios o modalidades adicionales cambian la interacción de operadores.

Tensión semántica

Tensión entre distributividad y absorción/asociatividad: la distributividad expande la estructura mientras que la absorción la contrae, y aplicar la ley equivocada puede aumentar la complejidad en lugar de simplificar.

Síntesis

La ley distributiva formaliza cuándo y cómo un conectivo penetra a otro, permitiendo la expansión o factorización controlada de expresiones compuestas en sistemas donde los operadores interactúan de forma distributiva.