Matemática Discreta

Álgebra de Boole

MATEMÁTICA DISCRETA 1
ÁLGEBRA BOOLEANAS FINITAS

Una latís complementada y distributiva se llama

álgebra booleana.

NOTA

 Si una latís finita L no contiene 2n elementos para

algún entero no negativo n, L no puede ser un
álgebra booleana.
 Si |L| = 2n, entonces L podría ser un álgebra
booleana.

MATEMÁTICA DISCRETA MA265 2

TEOREMA

Sea n = p1×p2×p3× … … ×pk, donde los pi son

primos distintos. Entonces Dn (conjunto de todos
los divisores enteros positivos de n) es un álgebra
booleana, bajo el orden parcial de divisibilidad.

MATEMÁTICA DISCRETA MA265 3

PROPIEDADES

Si (L, ) es un álgebra booleana entonces  a, b  L

 (a’)’ = a
 (a  b)’ = a’  b’
 (a  b)’ = a’  b’

MATEMÁTICA DISCRETA 4
TEOREMA

Sea el álgebra booleana B = {0, 1}. Para cualquier

n ≥ 1 el producto:

B×B×B× ... ×B con n factores, también es un

álgebra booleana.

MATEMÁTICA DISCRETA 5