25. Álgebra booleana

Distributividad booleana

Nivel: fundamental

En

Fórmula

A (B + C) = A B + A C; A + B C = (A + B) (A + C)

Detalle

Álgebra distributiva para lógica.

Distributividad booleana

AND se distribuye sobre OR y OR se distribuye sobre AND — como el área a(b+c), pero con bits.

Pruébalo — Cambia A, B y C y recorre los pasos: ambos lados coinciden siempre.

A

B

C

+ = OR · · = AND

A(B+C) = AB + AC

A(B+C)

0

AB+AC

0

Expresión A(B+C)

LHS

A ∧ (B ∨ C)

0 ∧ (0 ∨ 0)

A=0, B=0, C=0 · A(B+C)=0, AB+AC=0