ALGEBRA DE BOOLE

Se denomina as en honor a George Boole (2 de noviembre de 1815 a 8 de diciembre de 1864),

matemtico ingls autodidacta, que fue el primero en definirla como parte de un sistema lgico,
inicialmente en un pequeo folleto, publicado en 1847, en respuesta a una controversia en curso
entre Augustus De Morgan y sir William Rowan Hamilton. El lgebra de Boole fue un intento de
utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. Las
interpretaciones respectivas de los smbolos 0 y 1 en el sistema de lgica son Nada y Universo.
En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del diseo
electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de
conmutacin elctrica biestables, en 1948. Esta lgica se puede aplicar a dos campos:
Al anlisis, porque es una forma concreta de describir cmo funcionan los circuitos.
Al diseo, ya que teniendo una funcin aplicamos dicha lgebra, para poder desarrollar una
implementacin de la funcin.

Algebra de boole es un sistema de elementos B={0,1} y los operadores binarios () y (+) y ()

definidos de la siguiente forma

A B A+B A.B A A
0 0 0 1 0 1
0 1 1 0 1 0
1 0 1 0
1 1 1 0

OPERADOR + OPERADOR OR
OPERADOR OPERADOR AND
OPERADOR OPERADOR NOT

PROPIEDADES DEL ALGEBRA DE BOOLE

1.- Propiedad conmutativa:

A+B=B+A
AB=BA
2. Propiedad Distributiva:
A(B+C) = AB + AC
A + BC = (A+B)(A+C)
3. Elementos Neutros Diferentes:
A+0=A
A1=A
4. Siempre existe el complemento de a, denominado a
A + A = 1
A A = 0
- PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica deducible de los
postulados anteriores puede transformarse en un segundo teorema o identidad vlida sin
mas que intercambiar (+) por () y 1 por 0.
- CONSTANTE: cualquier elemento del conjunto B
- VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya sea constante o
frmula completa.

TEOREMAS DEL ALGEBRA DE BOOLE

TEOREMA 1: el elemento complemento A es nico.

TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica: A+1 = 1

A0 = 0

TEOREMA 3: cada elemento identidad es el complemento del otro. 0=1

1=0

TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica: A+A=A

AA=A

TEOREMA 5 (INVOLUCIN): para cada elemento de B, se verifica: (A) = A

TEOREMA 6 (ABSORCIN): para cada par de elementos de B, se verifica: A+AB=A

A(A+B)=A

TEOREMA 7: para cada par de elementos de B, se verifica: A + AB = A + B

A (A + B) = A B

TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y () cumple la propiedad
asociativa: A+(B+C) = (A+B)+C
A(BC) = (AB)C

LEYES DE DEMORGAN: para cada par de elementos de B, se verifica: (A+B) = AB

(AB) = A + B

Una Frmulas de conmutacin es la expresin de una funcin Lgica.

Un LITERAL es una variable (A) o complemento de una variable (A)
Un TRMINO PRODUCTO es una operacin AND de un nmero de literales.
Una frmula normal disyuntiva es una suma de trminos productos.
Un TRMINO SUMA es una operacin OR de un nmero de literales.
Una frmula normal conjuntiva es un producto de trminos sumas.
 FUNCIONES BASICAS DEL ALGEBRA DE BOOLE

1. FUNCIN OR, PUERTA OR:

Tabla de Verdad Smbolo

A B A+B
A
0 0 0 F=A+B
0 1 1 B
1 0 1
1 1 1

2. FUNCIN AND, PUERTA AND

Tabla de Verdad Smbolo

A B A.B
A
0 0 0 F=A+B
0 1 0 B
1 0 0
1 1 1

3. FUNCIN NOT, INVERSOR:

Tabla de Verdad Smbolo

A A
0 1 A F = A
1 0

Con estos tres tipos de puertas puede realizarse cualquier funcin de conmutacin. Un conjunto
de puertas completo es aquel con el que se puede implementar cualquier funcin lgica.
Puerta AND, puerta OR e INVERSOR
Puerta AND e INVERSOR
Puerta OR e INVERSOR

4. FUNCIN NOR, PUERTA NOR: Es tambin un conjunto completo

Tabla de Verdad Smbolo

A B (A+B) F = (A + B)
A
0 0 1
0 1 0 B F = A.B
1 0 0
1 1 0
5. FUNCIN NAND, PUERTA NAND: Es tambin un conjunto completo

Tabla de Verdad Smbolo

A B (A.B) F = (A .B)
A
0 0 1
B F = A + B
0 1 1
1 0 1
1 1 0

IMPLEMENTACIN DE FUNCIONES BOOLEANAS MEDIANTE CONJUNTOS COMPLETOS

1. NOT-AND-OR (preferentemente con SUMA de PRODUCTOS)

Ejemplo 1: F(A,B,C) = AC + BC + BC

2. NOT-OR-AND (preferentemente con PRODUCTO de SUMAS)

Ejemplo 2: F(A,B,C) = (A+C) (B+C) (B+C)