Practica 2

-ALGEBRA DE BOOLE

NOMBRE: Alberto Valdez Garcia

MATERIA: ELECTRONICA DIGITAL 400

DOCENTE: Ing. ABEL BALDIBIEZO

FECHA DE ENTREGA: 29/03/22

 ALGEBRA DE BOOLE
El álgebra de Boole está formada por un conjunto de variables
Booleanas, x∈{0,1}x∈{0,1}. Es decir variables que sólo pueden tomar dos valores: 0 ó 1,
abierto o cerrado, encendido o apagado, etc.
Un literal l es una variable o su negada. Existen dos tipos: literalres con signo positivo
cuando representan el valor ‘1’ de la variable (l=xl=x), y con signo negativo cuando
representa el valor ‘0’ (l=¯¯¯xl=x¯).
Una cláusula (o término C) está formada por un conjunto de literales enlazados
mediante conectivas lógicas.

El álgebra de Boole es una estructura matemática, que cuenta con dos números (0 y 1) y
tres operaciones (suma, producto y negación).

Parte de unos postulados iniciales, de los que se pueden deducir teoremas y leyes (como las

de De Morgan). Veámoslos:

Postulados del Álgebra de Boole.-

Un postulado o axioma es un enunciado matemático que no necesita demostración. Es algo

así como un punto de partida (en otros contextos se suelen llamar también axiomas). En el
Álgebra de Boole tenemos los siguientes: 

 Postulado 1. El elemento identidad de la suma es el "0". (A + 0 = A)

 Postulado 2. El elemento de identidad del producto es el "1". (A · 1 = A)

 Postulado 3. La suma es conmutativa A + B = B + A

 Postulado 4. El producto es conmutativo: A · B = B · A

 Postulado 5. La suma es asociativa: (A + B) + C = A + (B + C)

 Postulado 6. El producto es asociativo: (A · B) · C = A · (B · C)

 Postulado 7. El producto es distributivo respecto de la suma:

A · (B + C) = (A · B) + (A · C)

 Postulado 8. La suma es distributiva respecto del producto:

A + (B · C) = (A + B) · ( A + C).

 Postulado 9. Para cada valor A existe un valor Ā tal que A· Ā = 0 y A + Ā = 1. Éste
valor es el complemento lógico o negado de A.

 Postulado 10. El álgebra de Boole es cerrada bajo las operaciones suma, producto y

negación.

 Teoremas del Álgebra de Boole

Un teorema es una proposición matemática que se puede demostrar a partir de los
postulados que se han enunciado anteriormente.