FACULTAD DE INGENIERIA

ESCUELA PROFESIONAL DE INDUSTRIAL

Ao de la Consolidacin del Mar de

Grau
Nombre:
Lopez Casas, Eliana Mabel
Profesores:
Linares Vertiz, Sal
De la Cruz Rodrguez, Oscar
Curso:
Robtica y Automatizacin de las Operaciones
Tema:
Algebra de Boole y Algebra de la
Conmutacin
Ciclo:
9no

-2016-

LGEBRA DE BOOLE
INTRODUCCIN:
Se denomina Algebra de Boole en honor a George Boole (2 de
noviembre de 1815 - 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, The Mathematical Analysis of
Logic, 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. Ms tarde fue extendido como
un libro ms importante: An Investigation of the Laws of Thought on Which
are Founded the Mathematical Theories of Logic and Probabilities o
simplemente The Laws of Thought3 ), publicado en 1854.
Las interpretaciones respectivas de los smbolos 0 y 1 en el sistema de
lgica son Nada y Universo. George Boole
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.

DEFINICIN:
El Algebra de Boole es un sistema matemtico de elementos b= {0,1} que
utiliza variables y operadores lgicos. Y las operaciones bsicas son OR (+),
AND () y NOT (), definidos de la siguiente forma:

OPERADOR (+)-> OPERADOR OR

OPERADOR () -> OPERADOR AND

OPERADOR () -> OPERADOR NOT

El lgebra de Boole define variables, constantes y funciones para describir

sistemas binarios, y una serie de teoremas que permiten manipular
expresiones lgicas.
A. Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1
(VERDADERO).
B. Variables booleanas: Son magnitudes que pueden tomar diferentes
valores en diferentes momentos. Pueden representar seales de
entrada o de salida y reciben nombres de caracteres alfabticos como:
A, B, X, Y. Slo pueden tomar los valores 0 o 1.
C. Funciones booleanas: Describen el comportamiento del sistema.
Cada operacin lgica (suma, multiplicacin, negacin, ...) posee una
notacin en el lgebra booleana.

LEYES:
1.CONMUTATIVIDAD:
X+Y=Y+X
X.Y = Y. X
2. ASOCIATIVIDAD:
X + (Y + Z) = (X + Y) + Z
X. (Y. Z) = (X. Y) + Z
3. DISTRIBUTIVIDAD:
X + (Y.Z) = (X+Y). (X+Z)
X. (Y+Z) = (X.Y) + (X.Z)
4. ELEMENTOS NEUTROS (IDENTIDAD):
X+0 = X

X.1 = X
5. COMPLEMENTO:
X + X = 1
X X = 0
6. DOMINACIN O ELEMENTOS NULOS:
X+1=1

X. 0= 0

Demostracin:

X + 1 = (X + 1) 1 = (X + 1) (X + X)
(X + 1) (X + X) = X + (1 X) = 1

7. IDEMPOTENCIA:

X+X=X
X. X= X
8. DOBLE COMPLEMENTO:
X= X
9. ABSORCIN:
X + X.Y = X
X. (Y +X) = X
Demostracin:

X + X Y = (X 1) + (X Y) = X (1 + Y) = X
10. DE MORGAN:

(X+Y) = X.Y
(X.Y) = X + Y

TEOREMAS:
1. TEOREMA DE LA SIMPLIFICACIN
A + A. B = A + B
A. (A + B) = A.B

Demostracin:

A. A=0
A. A + B = B
(A + B). (A + B) = B
A.(A+B). (A+B) = A.B
A. (A + B) = A. B
2. TEOREMA DEL COMPLEMENTO NICO
Suponemos 2 complementos para A (A1 y A2)
A + A1 = 1

A + A2 = 1

A A1 = 0

A A2 = 0

LUEGO:

A1 = A1 1 = A1 (A + A2) = A1 A + A1 A2
A1 = 0 + A2 A1
A1 = A A2 + A1 A2 = (A + A1) A2
A1 = 1 A2 = A2

EXPRESIONES DE CONMUTACION
DEFINICIN:
Se definen las expresiones de conmutacin como un nmero finito de
variables y constantes, relacionadas mediante los operadores (AND y OR).

FORMULAS DE CONMUTACIN:

LITERAL:
Es toda ocurrencia de una variable, ya sea complementada o sin
complementar, en una expresin de conmutacin. Por ejemplo, en la
expresin de conmutacin:

A B + C A + D + B 1
A, B, C y D son Variables.
A, B, C, A, D y B son Literales.
1 es una Constante.

EXPRESIN DUAL:
Esta expresin se obtiene, intercambiando las operaciones AND por
OR (y vice versa), e intercambiando las constantes 0 por 1 y 1 por 0
en la expresin de conmutacin. Por ejemplo, para la expresin de
conmutacin:

(A B) + (C D) + 0
LA EXPRESIN DUAL ES:
(A + B) (C + D) 1

Las funciones de conmutacin se pueden expresar: de

Forma Algebraica, mediante una Tabla de Verdad o en
Forma Cannica.
La manera ms didctica de representar una funcin de
conmutacin es mediante una Tabla de Verdad, ya que en
ella se muestran los valores de salida para cada
combinacin de valor de entrada.

Las Tablas de Verdad permiten modelar los Sistemas

Combinacionales.

FORMA ALGEBRAICA:
Tablas De Verdad:
Forma de representacin de funciones, dando el valor de la funcin para
cada combinacin de entrada. Si la funcin est definida para todas las
combinaciones se llama completa, si no, se denomina incompleta.

Frmulas de conmutacin: expresin de una funcin

o
o
o
o

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.
o

Un LITERAL es una variable A o complemento de una variable A

o
o
o
o

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.

Ejemplo de una tabla de Verdad:

Dada la funcin de conmutacin:
f (X1, X2, X3) = X1 + (X2 X3)
La Tabla de Verdad es:

X1

X2

X3

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

f (x1, x2,
x3)
0
0
1
0
1
1
1
1

Dada una tabla de verdad tambin es posible obtener la forma

algebraica.
Existen 2 mtodos para identificar la forma algebraica: la forma
normal disyuntiva y la forma normal conjuntiva.
En el caso de la forma normal disyuntiva, es necesario identificar los
1s que resultan de la tabla de verdad y formar los trminos
(conjunciones fundamentales) que los representan.
Para formar las conjunciones fundamentales, se usa la variable
complementada si para esa combinacin tiene un cero, o se deja sin
complementar, si en la combinacin hay un 1.

FORMAS NORMALES O CANONICAS:

A. Forma Cannica Disyuntiva O De Mintrminos:
X1 X2 X3 f (x1, x2,
x3)
0
0
0
0
0
0
1
0
0
1
0
1

X1
.X2.X3

0
1

1
0

1
0

0
1

X1. X2
.X3
X1. X2
.X3
X1.X2.X3

X1.X2.X3

Del ejemplo anterior, se suman las conjunciones fundamentales, resultando

la forma normal disyuntiva:
f (X1, X2, X3) = X1 X2 X3+X1 X2 X3+X1 X2 X3 +X1
X2 X3+X1 X2 X3
Estos trminos formados por todas las variables conectadas mediante
operadores AND se denominan mintrminos (conjunciones fundamentales).
Como la funcin de conmutacin corresponde a un OR de todos los
mintrminos, se puede expresar tambin de la forma cannica (OR cannico
de AND).
F (X1, X2, X3) = m (m0, m1, . . ., mn)

Para la representacin de la forma cannica, se utilizan las posiciones de los

mintrminos en la Tabla de Verdad.
Para el ejemplo anterior resulta: f (X1, X2, X3) = m (2, 4, 5, 6, 7)

Mintrminos en una Tabla de Verdad:

X
1
0

X
2
0

X
3
0

0
1

1
0

1
0

Mintrmin
o
X1.X2
.X3
X1.X2
.X3
X1.X2.X3

X1.X2.X3
X1. X2
.X3
X1. X2
.X3

Etiqu
eta
0
1
2
3
4
5

1
1

1
1

0
1

X1.X2.X3
X1.X2.X3

6
7

B. Forma Cannica Conjuntiva o de Maxtrminos:

En el caso de la forma normal conjuntiva, se opera de manera
contraria a la vista anteriormente.
En este caso es necesario identificar los 0s que resultan de la tabla
de verdad y formar los trminos (disyunciones fundamentales o
maxtrminos) que los representan.
Para ello se utiliza la variable complementada si para esa
combinacin tiene un 1, o se deja sin complementar si en la
combinacin hay un 0.

X1 X2 X3 f (x1, x2,
x3)
0
0
0
0
0

0
0

1
1

0
1

1
0

1
1
1
1

0
0
1
1

0
1
0
1

1
1
1
1

X1 + x2 +
x3
X1 + x2 +
x3
X1 + x2 +
x3

Del ejemplo anterior, se opera con un AND sobre las disyunciones

fundamentales, resultando la forma normal conjuntiva:
f (X1, X2, X3) = (X1 + X2 + X3) (X1 + X2 + X3) (X1 + X2 + X3)
De igual manera es posible expresar esta funcin de conmutacin,
compuesta por maxtrminos, de la forma cannica (AND cannico de OR).
F (X1, X2, X3) =

M (M0, M1, . . ., Mn)

Para la representacin de la forma cannica, se utilizan las posiciones de los

mintrminos en la Tabla de Verdad.
Para el ejemplo anterior resulta: f (X1, X2, X3) =

FUNCIONES EQUIVALENTES:

M (0, 1, 3)

Se dice que dos funciones de conmutacin son equivalentes si tienen

expansiones en forma cannica idnticas. Es decir, que tienen valores de
salida idnticos para las mismas combinaciones de entrada. Dicho de otra
manera, dos funciones de conmutacin son equivalentes si tienen la misma
tabla de verdad.

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 COMPLETAS Y INCOMPLETAS:

A. FUNCIONES INCOMPLETAS:

en la tabla de verdad aparecer una

X o una letra d (del ingls dont care) refirindose a trminos sin
especificar.

C
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

A
0
1
0
1
0
1
0
1

F (C, B, A)
1
0
1
X
0
X
0
1

F (C, B, A) = m (0,2,7) + (3,5)

F (C, B, A) = M (1,4,6) (3,5)

Complemento de una funcin incompleta: otra funcin incompleta con

los mismos trminos no importa y el complemento de la funcin completa.
Las frmulas de mintrminos y de maxtrminos de las funciones
incompletas no son nicas.

B. FUNCIONES COMPLETAS:
Se dice que un conjunto de operadores es funcionalmente completo si se
puede expresar cualquier funcin de conmutacin, utilizando slo los
operadores del conjunto.
Por ejemplo, el conjunto {AND, OR, NOT} es funcionalmente completo
por definicin del lgebra. Sin embargo, el conjunto {AND, NOT} tambin
lo es. Otros conjuntos funcionalmente completos son: {NOR} y {NAND}.

FUNCION OR, PUERTA OR:

FUNCION AND, PUERTA AND:

 FUNCION NOT, INVERSOR:

La operacin lgica se conoce como negacin y se escribe: L = A (negado

de A).

*Con estos tres tipos (OR, AND, NOT) de puertas puede realizarse cualquier
funcin de conmutacin.

FUNCION NOR, PUERTA NOR:

FUNCION NAND, PUERTA NAND:

 FUNCION XOR, PUERTA XOR:

FUNCION XNOR O PUERTA NOR EXCLUSIVA:

 UN CONJUNTO DE PUERTAS COMPLETO: es aquel con el que se

puede implementar cualquier funcin lgica.
- Puerta AND
-Puerta NOR
- Puerta OR
-Puerta NAND
- Puerta NOT
-Puerta XOR
- Puerta XNOR

IMPLEMENTACION DE FUNCIONES BOOLEANAS

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

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

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

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

NAND-NAND (preferentemente con SUMA de PRODUCTOS)

Buscamos grupos de variables con la forma de salida de una puerta

NAND.

Ejemplo 1:
BC + BC

F (A, B, C) = AC +

Negamos 2 veces
BC + BC

F (A, B, C) = AC +

Aplicamos De Morgan
BC

F (A, B, C) = AC BC

NOR-NOR (preferentemente con PRODUCTO de SUMAS)

Buscamos grupos de variables con la forma de salida de una puerta
NOR.
Ejemplo 2:
Negamos 2 veces
Aplicamos De Morgan

F (A, B, C) = (A+C) (B+C) (B+C)

F (A, B, C) = (A+C) (B+C) (B+C)
F (A, B, C) = (A+C) + (B+C) + (B+C)

MAPA DE KARNAUGH
Los Mapas de Karnaugh son una herramienta muy utilizada para la
simplificacin de circuitos lgicos. Cuando se tiene una funcin
lgica con su tabla de verdad y se desea implementar esa funcin de
la manera ms econmica posible se utiliza este mtodo.
Ejemplo: Se tiene la siguiente tabla de verdad para tres variables. Se
desarrolla la funcin lgica basada en ella. (primera forma cannica).
Ver que en la frmula se incluyen solamente las variables (A, B, C)

cuando F cuando es igual a 1. Si A en la tabla de verdad es 0 se

pone A, si B = 1 se pone B, Si C = 0 se pone C, etc.

Una vez obtenida la funcin lgica, se implementa el mapa de

Karnaugh. Este tiene 8 casillas que corresponden a 2 n, donde n = 3
(nmero de variables (A, B, C)).

La primera fila corresponde a A = 0 La segunda fila corresponde a A =

1 La primera columna corresponde a BC = 00 (B=0 y C=0) La
segunda columna corresponde a BC = 01 (B=0 y C=1) La tercera
columna corresponde a BC = 11 (B=1 y C=1) La cuarta columna
corresponde a BC = 10 (B=1 y C=0)

En el mapa de Karnaugh se han puesto 1 en las casillas que

corresponden a los valores
de F = 1 en la tabla de verdad. Tomar en cuenta la numeracin de
las filas de la tabla de verdad y la numeracin de las casillas en
el mapa de Karnaugh.

Para proceder con la simplificacin, se crean grupos de 1 s que

tengan 1, 2, 4, 8, 16, etc. (slo potencias de 2). Los 1 s deben estar
adyacentes (no en diagonal) y mientras ms 1 s tenga el grupo,
mejor.
La funcin mejor simplificada es aquella que tiene el
menor nmero de grupos con el mayor nmero de 1 s en
cada grupo
Se ve del grfico que hay dos grupos cada uno de cuatro 1 s, (se
permite compartir casillas entre los grupos). La nueva expresin de la
funcin booleana simplificada se deduce del mapa de Karnaugh.
Para el primer grupo (rojo): la simplificacin da B (los 1 s de la
tercera y cuarta columna corresponden a B sin negar)
Para el segundo grupo (azul): la simplificacin da A (los 1 s
estn en la fila inferior que corresponde a A sin negar)

Entonces el resultado es F = B + A

F=A+B

Ejemplo: Una tabla de verdad como la de la derecha da la siguiente

funcin booleana:

F = (A B C) + (A B) C + A B C + A B C

Se ve claramente que la funcin es un reflejo del contenido de

la tabla de verdad cuando F = 1, Con esta ecuacin
se crea el mapa de Karnaugh y se escogen los grupos. Se lograron
hacer 3 grupos de dos 1s cada uno. Se puede ver que no es posible
hacer grupos de 3, porque 3 no es potencia de 2. Se observa que hay
una casilla que es compartida por los tres grupos.

La funcin simplificada es: F = (A B) + A C + B C. Grupo en

azul: (A B) , grupo marrn: A C, grupo verde: B C

CONCLUSIONES:

El lgebra de Boole es la base de toda la electrnica digital. Hoy en da significa

que, desde tu reloj, hasta internet, no funcionaran sin este ingenio matemtico. Es
justo decir que, sin ella, no existira el mundo actual tal y como lo conocemos.

Se sabe que las mquinas digitales funcionan con electricidad, a partir de

diferencias de voltaje. As que a cierto rango de voltaje le asignamos un cero y a
otro le asignamos un uno (ceros y unos). De esta manera, gracias al lgebra de
Boole, podemos operar con estas diferencias de voltaje.