Fundamentos de los Computadores. lgebra de Boole.

3. LGEBRA DE BOOLE

Un sistema de elementos B y dos operaciones binarias cerradas () y (+) se

denomina ALGEBRA de BOOLE siempre y cuando se cumplan las
siguientes propiedades:
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:
Teorema 1: el elemento complemento A es nico.
Teorema de los 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
Fundamentos de los Computadores. lgebra de Boole. 2

Teorema de idempotencia: para cada elemento de B, se verifica:

A+A=A
AA=A
Teorema de involucin: para cada elemento de B, se verifica:
(A) = A

Teorema de 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
LEYES DE DEMORGAN: para cada par de elementos de B, se verifica:
(A+B) = AB
(AB) = A + B
Teorema de asociatividad: cada uno de los operadores binarios (+) y () cumple
la propiedad asociativa:
A+(B+C) = (A+B)+C
A(BC) = (AB)C

LGEBRA DE CONMUTACIN
UN LGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y
LOS OPERADORES DEFINIDOS DE LA SIGUIENTE FORMA

A B A+B AB A A
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 0
1 1 1 1

OPERADOR + OPERADOR OR
OPERADOR OPERADOR AND
OPERADOR OPERADOR NOT
Fundamentos de los Computadores. lgebra de Boole. 3

FUNCIONES EN EL LGEBRA DE BOOLE

Funcin completa es una funcin que se encuentra definida para todas las
combinaciones de las variables de entrada.
Tabla de VERDAD: forma de representacin de funciones, dando el valor de la
funcin para cada combinacin de entrada.

X1 X2 X3 F(X1, X2, X3)

0 0 0 F(0,0,0)
0 0 1 F(0,0,1)
0 1 0 F(0,1,0)
0 1 1 F(0,1,1)
1 0 0 F(1,0,0)
1 0 1 F(1,0,1)
1 1 0 F(1,1,0)
1 1 1 F(1,1,1)

Frmulas de conmutacin: expresin de una funcin

1 y 0 son frmulas
Xi es una frmula si pertenece a {0,1}
Si A es una frmula, A tambin lo es
Si A y B son frmulas, A+B y AB tambin lo son
Nada ms es una frmula, a menos que sigan los puntos anteriores un
nmero finito de pasos.
Cada frmula describe una nica funcin.
Dos frmulas son equivalentes (A=B) si expresan la misma funcin de
conmutacin.
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.
Fundamentos de los Computadores. lgebra de Boole. 4

EXPRTESIN EN SUMA DE PRODUCTOS

MINTRMINO (mi): trmino producto en el que aparecen todas las

variables, ya sean complementadas o sin complementar.
Frmula Cannica Disyuntiva o de Mintrminos: suma de mintrminos.
Dada la lista completa de mintrminos y asignando 1s y 0s
arbitrariamente a las variables, siempre hay un, y slo un, mintrmino que
toma el valor 1.
Un mintrmino es un trmino producto que es 1 exactamente en una lnea
de la tabla de Verdad.
La frmula compuesta por todos los mintrminos ser idnticamente 1.
Cada frmula de conmutacin puede expresarse como suma de
mintrminos. Y esa frmula es nica.
NOTACIN: Un mintrmino se designa por mi siendo i el nmero
decimal correspondiente de la tabla de verdad. El 0 se asocia a la variable
complementada y el 1 a la variable sin complementar.

EJEMPLO:

X Y Z F(X,Y,Z)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1

F(X,Y,Z) = XYZ + XYZ + XYZ + XYZ

F(X,Y,Z) = m0 + m2 + m3 +m7 = m(0,2,3,7)

Fundamentos de los Computadores. lgebra de Boole. 5

EXPRESIN EN PRODUCTO DE SUMAS

MAXTRMINO (Mi): trmino suma en el que aparecen todas las variables,

ya sean complementadas o sin complementar.
Frmula Cannica Conjuntiva o de Maxtrminos: producto de
maxtrminos.
Dada la lista completa de maxtrminos y asignando 1s y 0s
arbitrariamente a las variables, siempre hay un y slo un maxtrmino que
toma el valor 0.
Un maxtrmino es un trmino suma que es 0 exactamente en una lnea de
la tabla de verdad.
La frmula compuesta por todos los maxtrminos ser idnticamente 0.
Cada frmula puede expresarse como producto de maxtrminos. Y es
nica.
NOTACIN: Un maxtrmino se designa por Mi siendo i el nmero
decimal correspondiente de la tabla de verdad. El 1 se asocia a la variable
complementada y el 0 a la variable sin complementar.

EJEMPLO:

X Y Z F(X,Y,Z)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1

F(X,Y,Z) = (X+Y+Z) (X+Y+Z) (X+Y+Z) (X+Y+Z)

F(X,Y,Z) = M1 M4 M5 M6 = M(1,4,5,6)
Fundamentos de los Computadores. lgebra de Boole. 6

CONVERSIN Y MANIPULACIN DE FRMULAS

El complemento de una frmula de mintrminos est formado por la suma de
los mintrminos que no aparecen.
El complemento de una frmula de maxtrminos est formado por el
producto de los maxtrminos que no aparecen.
mi = Mi
Mi = mi
La transformacin de una frmula de mintrminos (disyuntiva) en otra de
maxtrminos (conjuntiva) se basa en la doble complementacin,
(F) = F
***
Funciones incompletas: funciones que no estn definidas para todas las
combinaciones de las variables de entrada. En la tabla de verdad aparecer un
o una letra d (del ingls dont care) refirindose a trminos inespecificacin o
trminos no importa.

X Y Z F(X,Y,Z)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 -
1 0 0 0
1 0 1 -
1 1 0 0
1 1 1 1

F(X,Y,Z) = m(0,2,7) + (3,5)

F(X,Y,Z) = M(1,4,6) (3,5)

Complemento de una funcin incompleta: otra funcin incompleta con la misma
funcin inespecificacin y el complemento de la funcin completa.
Las frmulas de mintrminos y de maxtrminos de las funciones incompletas no
son nicas.
Fundamentos de los Computadores. lgebra de Boole. 7

FUNCIONES BSICAS

FUNCIN OR, PUERTA OR:

Tabla de Verdad Smbolo
A B A+B
0 0 0 A F=A+B
0 1 1 B
1 0 1
1 1 1

FUNCIN AND, PUERTA AND:

Tabla de Verdad Smbolo
A B AB
0 0 0 A F=AB
0 1 0 B
1 0 0
1 1 1

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
Fundamentos de los Computadores. lgebra de Boole. 8

FUNCIN NOR, PUERTA NOR: Es tambin un conjunto completo

Tabla de Verdad Smbolo
A B (A+B)
0 0 1 A F = (A + B)
0 1 0 B F = A B
1 0 0
1 1 0

FUNCIN NAND, PUERTA NAND: Es tambin un conjunto completo

Tabla de Verdad Smbolo
A B (AB)
0 0 1 A F = (A B)
0 1 1 B F = A + B
1 0 1
1 1 0

FUNCIN XOR, PUERTA XOR: Es tambin un conjunto completo

Tabla de Verdad Smbolo
A B (AB)
0 0 0 A F = (A B)
0 1 1 B F = AB + AB
1 0 1
1 1 0

FUNCIN XNOR, PUERTA XNOR: Es tambin un conjunto completo

Tabla de Verdad Smbolo
A B (AB)
0 0 1 A F = (A B)
0 1 0 B F = AB + AB
1 0 0
1 1 1
Fundamentos de los Computadores. lgebra de Boole. 9

CIRCUITOS DIGITALES Y FUNCIONES DE CONMUTACIN

Hay dos procesos en ingeniera:

ANLISIS
SNTESIS y DISEO

El ANLISIS se debe hacer tanto en estado transitorio (cuando las seales

estn cambiando) como en estado estacionario (cuando las seales estn ya
establecidas). En este curso slo hablaremos de situaciones estacionarias.
Tres pasos:
1. Etiquetado de los diferentes nodos del circuito
2. Salida = etiqueta del nodo de salida
3. Creacin de la tabla de Verdad, si se pide.

a ab
b

c ab + abc
c

a abc
b (a+b) = ab

El DISEO se realiza a partir del planteamiento de un problema. Se obtiene

luego alguna de las frmulas cannicas y se procede a la simplificacin para
obtener un circuito de mnimo tamao como se explicar en el prximo tema.
Ejemplo:

Para abrir una caja fuerte se dispone de tres llaves, la caja se abre si:
Estn giradas A y B independientemente de si lo est C.
Cuando estando girada C, estn giradas A o B.