Leyes del Álgebra de Boole

Leyes del Álgebra de Boole

OPERACIONES

En esta sección se definirán las operaciones básicas del

Álgebra de Boole, describiéndose a continuación su
aplicación a los circuitos lógicos.
 Leyes del Álgebra de Boole

Unión o adición

La unión de dos clases A y B se define como la clase

formada por todos los elementos de la clase A, todos los
elementos de la clase B, y ningún otro elemento. La
clase unión se representa mediante la simbología
matemática:

AOB
 Leyes del Álgebra de Boole

Intersección o producto

La intersección de dos clases A y B se define como la clase

formada por todos los elementos que pertenecen
simultáneamente a las clases A y B. La clase intersección
se puede representar mediante los símbolos:

AYB
 Leyes del Álgebra de Boole

Complementación

La clase complementaria de una dada ya ha sido definida.

Las notaciones simbólicas empleadas para representar el
complementario de A son: A' o bien NO A.
 Leyes del Álgebra de Boole

Aquí se mencionarán dos propiedades importantes

de la complementación, que se pueden
comprobar fácilmente:

A + A' =U (clase universal)

A + A' = 0 (clase vacía)
 Leyes del Álgebra de Boole

APLICACION A CIRCUITOS LOGICOS

Dado que los elementos de los circuitos utilizados en los

computadores sólo admiten dos estados, las clases y
operaciones básicas del Álgebra de Boole deberán
particularizarse para este caso.
 Leyes del Álgebra de Boole

Por tanto, habrá que aplicar un Álgebra de Boole de tipo

binario, donde sólo existirán dos clases: la universal que
se representará por 1, y la vacía que se representará por
0.

El estado de un elemento del circuito lógico viene

representado por una variable que sólo puede tomar
valores 0 o 1, que se corresponden con las dos clases
posibles en un Álgebra de Boole binaria.
 Leyes del Álgebra de Boole

En el caso de un álgebra binaria, las operaciones básicas

del Álgebra de Boole pueden describirse mediante las
denominadas tablas de verdad, que agrupan en forma
tabulada todas las combinaciones posibles de
operandos, con sus correspondientes resultados.
 Leyes del Álgebra de Boole

Adición

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

Equivale a un circuito en paralelo con un interruptor en cada hilo, donde

al conectar cualquiera de ellos hay conducción en el circuito.
 Leyes del Álgebra de Boole

Producto

A B A·B
=============
0 0 0
0 1 0
1 0 0
1 1 1

Equivale a un circuito en serie donde existe dos interruptores en el

mismo hilo, de tal forma que sólo hay conducción cuando están
cerrados ambos interruptores.
 Leyes del Álgebra de Boole

Complementación

A A'
======
0 1
1 0

Se representa bajo la forma de contactos complementarios de un

mismo interruptor, de modo que si uno está cerrado el
complementario estará abierto, y viceversa.
 Leyes del Álgebra de Boole

LEYES FUNDAMENTALES

Teoremas

El resultado de aplicar cualquiera de las tres operaciones definidas a

variables del sistema booleano resulta en otra variable del sistema, y
este resultado es único.

• Ley de idempotencia: A + A = A | A · A = A

• Ley de involución: (A')' = A

 Leyes del Álgebra de Boole

• Ley conmutativa: A + B = B + A | A · B = B · A

• Ley asociativa: A + (B + C) = (A + B) + C | A · (B · C) = (A · B) · C

• Ley distributiva: A + B · C = (A + B) · (A + C) | A · (B + C) = A · B
+A·C

• Ley de absorción: A + A · B = A | A · (A + B) = A

• Ley de De Morgan: (A + B)' = A' · B' | (A · B)' = A' + B'

 Teoremas
Teorema 1: Operaciones con “0” y “1”
0  0  0 1 0  1
1 1  1 1 0  0
Teorema 2: Operaciones superfluas con “0” y “1”:

A 1  1 A 0  0
Teorema 3:operaciones superfluas con una variable
aa a
aa  a
 Teoremas
• Teorema 4: Involución (el complemento del complemento de A es
igual a A).

A A
• Teorema 5: teorema de Absorción:

a  ab  a
•
a  ( a  b)  a
Teorema 6: t. de simplificación:

a  ab  a  b
a  ( a  b)  a  b
 Teoremas

• Teorema 7:

ab  ab  a
• Teorema 8: (a  b)  (a  b )  a

ab  ab c  ab  ac

(a  b)  (a  b  c)  (a  b)  (a  c)
 Teoremas
• Teorema 9: Teorema de Morgan

a  b  ab
ab  a  b
• En general:

a  b  ...  z  a  b  c  ...  z
a  b  c  ...  z  a  b  c  ...  z
 Teoremas
• Teorema 10: Consenso

ab  a c  bc  ab  a c

(a  b)  (a  c)  (b  c)  (a  b)  (a  c)
 Leyes del Álgebra de Boole

Principio de dualidad

El concepto de dualidad permite formalizar este

hecho: a toda relación o ley lógica le
corresponderá su dual, formada mediante el
intercambio de los operadores unión con los de
intersección, y de los 1 con los 0.
 Leyes del Álgebra de Boole

# ADICION PRODUCTO
===============================================
1 A + A' = 1 A · A' = 0
2 A+0=A A·1=A
3 A+1=1 A·0=0
4 A+A=A A·A=A
5 A+B=B+A A·B=B.A
6 A + (B + C) = (A + B) + C A · (B · C) = (A · B) · C
7 A + B · C = (A + B) · (A + C) A · (B + C) = A · B + A · C
8 A+A·B=A A · (A + B) = A
9 (A + B)' = A' · B' (A · B)' = A' + B'
 Funciones lógicas

INTRODUCCION

Una vez definidas las operaciones básicas en el Álgebra de

Boole binaria, así como sus relaciones fundamentales, se
avanza un paso más estableciendo el concepto de
función. Las funciones se utilizan para describir el
comportamiento de los circuitos lógicos empleados en
los computadores.
 Funciones lógicas

Concepto

Se define como función en el Algebra de Boole

binaria o función lógica a todo conjunto de
variables relacionadas entre sí por cualquiera de
las tres operaciones básicas definidas
anteriormente.
 Funciones lógicas

De forma general, se representará como:

f = f( A, B, C, ... )

Según el teorema 1, el resultado de evaluar una función

booleana es también una variable booleana.

A continuación se presentan dos teoremas de las funciones

booleanas:
 Funciones lógicas

Ley de De Morgan generalizada

El complemento de una función se obtiene

complementando todas las variables que intervienen en
ella e intercambiando las operaciones adición y producto.
Esto puede expresarse simbólicamente de la forma:

[ f( A, B, C, ... , +, · ) ] ' = f( A', B', C', ... , ·, + )

 Funciones lógicas

Teorema de la descomposición de funciones

Toda función puede descomponerse, con respecto a

cualquiera de las variables de las que depende, según la
siguiente relación:

f( A, B, C, ... ) = A · f( 1, B, C, ... ) + A' · f( 0, B, C, ... )

 Funciones lógicas

siendo f(1, B, C, ...) la función resultante de

sustituir, en la función original, todas las A por 1,
y las A' por 0.

El segundo término, f(0,B,C,...) es la función

resultante de sustituir las A por 0 y las A' por 1.
 Funciones lógicas

FUNCIONES LOGICAS ELEMENTALES

Función O (OR)

Operación: adición lógica.

Salida: A + B

A B A+B
=============
0 0 0
0 1 1
1 0 1
1 1 1
 Funciones lógicas

Función Y (AND)

Operación: producto lógico.

Salida: A · B

A B A·B
=============
0 0 0
0 1 0
1 0 0
1 1 1
 Funciones lógicas

Función NO (NOT)

Operación: complementación.
Salida: A'

A A'
======
0 1
1 0
 Funciones lógicas

Función ON (NOR)

Operación: complementación de la adición lógica.

Salida: (A + B)' = A' · B'

A B A' · B'
===============
0 0 1
0 1 0
1 0 0
1 1 0
 Funciones lógicas

Función EQU (EQU)

Operación: equivalencia lógica.

Salida: A · B + A' · B'

A B A · B + A' · B'
=======================
0 0 1
0 1 0
1 0 0
1 1 1
 Funciones de Conmutación

Sean x1, x2, … , xn símbolos llamados variables, cada uno

representa un 0 o un 1, definiremos:
Función de conmutación: es una correspondencia que asocia un
n
elemento del álgebra con cada una de las 2 combinaciones
de las n variables x1, x2, … , xn.
Ejemplos:
F ( x1 , x2 , x3 )  x1  x1  x2  x3  x1  x3
F (0,1,1)  0  0  0  0

En general una función de conmutación queda definida por una

tabla de verdad.
 Representación de una función de
Conmutación

Tabla de Verdad:
Evaluamos todos los posibles valores de entrada de la función y los
colocamos en una tabla en forma ordenada de acuerdo al sistema binario
ascendente.

Ejemplo: f(x,y) = a + b f(x,y) = a x b

a b a+b a b axb
0 0 0 0 0 0
0 1 1 0 1 0
1 0 1 1 0 0
1 1 1 1 1 1
f (a, b, c)  a  b  c  a  b  c  b  c

abc a  b  c a  b  c b  c f
000 0 0 0 0
001 0 0 0 0
010 0 0 0 0
011 0 0 1 1
100 0 0 0 0
101 0 1 0 1
110 1 0 0 1
111 0 0 1 1
 Representación de una función de
Conmutación
Formas Algebraicas
Suma de Productos: se construye al sumar (or)
términos productos (and).
Ejemplo:
f (a, b, c, d )  a  b  c  b  d  a  c  d

Producto de Sumas) se construye con el producto (and)

de términos suma (or).
Ejemplo:
f (a, b, c, d )  (a  b  c)  (a  d )
 Representación de una función de
Conmutación
Formas Canónicas:
Son formas Sumas de Productos y Productos de Sumas con
características especiales. Existe una única forma canónica
para cada función de conmutación.
Mintérmino: término de una función de conmutación que
corresponde al “AND” de todas las variables, en donde cada
una aparece bien sea complementada o sin complementar.
Ejemplo:
f ( a, b, c ) m  a  b  c; a  b  c a  b  c
Maxtérmino: término de una función de conmutación que
corresponde al OR de todas las variables, en donde cada
una aparece bien sea complementada o sin complementar.
Ejemplo:
f ( a , b, c ) M  (a  b  c), (a  b  c)
 Formas Canónicas Suma de Productos

f (a, b, c)  a  b  c  a  b  c  a  b  c
a b c f
0 0 0 1 abc Relación con la tabla de verdad:
0 0 1 0 Cada mintérmino está asociado con la
0 1 0 1 abc línea de la tabla, tal que:
0 1 1 0 • Las variables no están complementadas
1 0 0 0 si tienen el valor 1 para la combinación en
1 0 1 0 la cual la función vale 1.
1 1 0 0 • Las variables están complementadas si
1 1 1 1 a bc tienen el valor 0 para la combinación en la
cual la función vale 1.
 Formas Canónicas Suma de Productos

f (a, b, c)  a  b  c  a  b  c  a  b  c
a b c a b c a b c a b c f
0 0 0 1 0 0 1
0 0 1 0 0 0 0
0 1 0 0 1 0 1
0 1 1 0 0 0 0
1 0 0 0 0 0 0
1 0 1 0 0 0 0
1 1 0 0 0 0 0
1 1 1 0 0 1 1
Formas Canónicas Producto de Sumas

f (a, b, c)  (a  b  c)  (a  b  c)  (a  b  c)
a b c f
0 0 0 0 Relación con la tabla de verdad:
0 0 1 1 ab c Cada maxtérmino está asociado con
0 1 0 1 la línea de la tabla, tal que:
0 1 1 0
• Las variables no están
1 0 0 1 ab c complementadas si tienen el valor 0
1 0 1 1 para una combinación en que la
1 1 0 0 función vale 0
1 1 1 1 a bc • Las variables están complementadas
si tienen el valor 1 para una
combinación en que la función vale 0
Formas Canónicas Producto de Sumas

f (a, b, c)  (a  b  c)  (a  b  c )  (a  b  c)

a b c a b c a b c a b c f
0 0 0 1 1 0 0
0 0 1 1 1 1 1
0 1 0 1 1 1 1
0 1 1 1 0 1 0
1 0 0 1 1 1 1
1 0 1 1 1 1 1
1 1 0 0 1 1 0
1 1 1 1 1 1 1
 Simplificación de funciones

REPRESENTACION DE FUNCIONES

Expresión algebraica

Una función puede representarse mediante su formulación algebraica,

que consiste en una combinación de variables relacionadas por las
tres operaciones lógicas básicas.

Ejemplo:

f( A, B, C ) = A · B · C + A' · B · C + A' · B · C'

 Simplificación de funciones

Tabla de verdad

Otra forma de representar una función lógica consiste en

utilizar una tabla en la que figuren todas las
combinaciones posibles de las variables de entrada y el
valor correspondiente de la función para cada una de
dichas combinaciones.

Ejemplo:

f( A, B, C ) = A · B · C + A' · B · C + A' · B · C'

 Simplificación de funciones

Transformación

A menudo resulta interesante obtener la función algebraica

equivalente de una tabla de verdad. Para ello existe un
procedimiento que consiste en escribir la ecuación de la
función como suma de los términos cuyas combinaciones
en la tabla de verdad tengan asignados el valor 1.
 Simplificación de funciones

Cada término consistirá en un producto de todas

las variables de las que depende la función,
escritas en su forma natural o complementada,
según que en la combinación correspondiente a
dicho término en la tabla aparezcan con un 1 o
con un 0 respectivamente.
 Simplificación de funciones

Ejemplo: obtener un expresión algebraica de la siguiente tabla de

verdad.
A B C f
=========
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 0
f( A, B, C ) = A' · B' · C' + A' · B · C + A · B · C'
Mintérminos y Maxtéminos

A B C m M
=========
0 0 0 m0 M0
0 0 1 m1 M1
0 1 0 m2 M2
0 1 1 m3 M3
1 0 0 m4 M4
1 0 1 m5 M5
1 1 0 m6 M6
1 1 1 m7 M7
 Simplificación de funciones

Expresión en minterms

Suele utilizarse la siguiente notación para referirse a los

productos que aparecen en la primera forma canónica:
cada producto se denomina mi, siendo i el valor decimal
de la combinación binaria que se obtiene al sustituir por 1
las variables que, en el producto, aparecen en forma
natural, y por 0 las que lo hacen en forma
complementada.
 Simplificación de funciones

Estos términos reciben el nombre de minterms, que es

contracción de minimum term, y que indica que los
productos de conjuntos constituyen los conjuntos
mínimos que se pueden formar operando con las
variables.

Ejemplo: m3= A' · B · C

A' · B · C = 011
 Simplificación de funciones

Expresión en maxterms

Análogamente se representan por Mi las sumas canónicas

de la segunda forma, teniendo el índice i el mismo
significado que en la definición de minterms.

Estos términos Mi reciben la denominación de maxterms.

 Simplificación de funciones

Nombre que ahora corresponde a la contracción de

maximum term, y que indica que las sumas de conjuntos
constituyen los conjuntos máximos que pueden formarse
operando con las variables.

Ejemplo: M5= A + B' + C

A + B' + C = 101
Tabla de ejemplo
 Simplificación de funciones

Obtención de las formas canónicas a partir de las tablas de verdad

La parte izquierda de la tabla representa todos los productos canónicos

posibles, en los que las variables figuran en su forma natural o
complementada según que en la combinación correspondiente de la
tabla aparezca, para esa variable, un 1 o un 0, respectivamente.

En la parte derecha de la tabla aparecen los coeficientes f( i ), es decir,

el valor que adopta la función al sustituir las variables por 1 o 0
según la regla anterior.
 Simplificación de funciones

La función, en su primera forma canónica, será la suma de los

productos canónicos cuyos coeficientes sean 1, es decir, la
suma de términos cuyo valor resultante en la tabla de verdad
sea un 1.

La segunda forma canónica de una función puede obtenerse

también de la tabla de verdad buscando las combinaciones
para las que el valor de f es igual a 0, y escribiendo el término
correspondiente como suma de variables que figurarán en su
forma directa si en la tabla hay un 0, o en su forma
complementada si en la tabla hay un 1.
 Simplificación de funciones

Ejemplo: dada la función booleana n determinada por la siguiente tabla de verdad.

A B C f
=============
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
1ª forma canónica: f(A,B,C) = A'·B'·C' + A'·B·C' + A'·B·C + A·B·C = m0 + m2 + m3 + m7
2ª forma canónica: f(A,B,C) = (A+B+C') · (A'+B+C) · (A'+B+C') · (A'+B'+C) =
M1·M2·M3·M6
 Simplificación de funciones

SIMPLIFICACION DE FUNCIONES

Significado

La teoría de la conmutación tiene dos objetivos fundamentales:

Obtener los circuitos lógicos que representan a las diferentes funciones

booleanas.

Obtener, de entre los muchos circuitos lógicos que pueden representar

a una función dada, el circuito de coste mínimo.
 Simplificación de funciones

Método del mapa de Karnaugh

Un mapa de Karnaugh para funciones de n variables

consiste en un conjunto de 2^n cuadrados, cada uno de
los cuales se encuentra asociado a un minterm o a un
maxterm, y dispuestos de tal forma que para pasar de un
minterm a otro a lo largo de una de las dos direcciones
posibles, horizontal o vertical, únicamente es preciso
cambiar una variable.
 Simplificación de funciones

Mapa de Karnaugh para dos variables:

B' B
=============
A' m0 m1
A' · B' A' · B
=============
A m2 m3
A · B' A · B
=============
 Simplificación de funciones

Mapa de Karnaugh para tres variables:

B' B' B B
======================================
A' m0 m1 m3 m2
A' · B' · C' A' · B' · C A' · B · C A' · B · C'
======================================
A m4 m5 m7 m6
A · B' · C' A · B' · C A · B · C A · B · C'
======================================
C' C C C'
 Simplificación de funciones

Mapa de Karnaugh para cuatro variables:

C' C' C C
======================================
A' m0 m1 m3 m2 B'
A'·B'·C'·D' A'·B'·C'·D A'·B'·C·D A'·B'·C·D'
======================================
A' m4 m5 m7 m6 B
A'·B·C'·D' A'·B·C'·D A'·B·C·D A'·B·C·D'
======================================
A m12 m13 m15 m14 B
A·B·C'·D' A·B·C'·D A·B·C·D A·B·C·D'
======================================
A m8 m9 m11 m10 B'
A·B'·C'·D' A·B'·C'·D A·B'·C·D A·B'·C·D'
======================================
D' D D D'
 Simplificación de funciones

Para agrupar la función en términos más

simplificados, se agrupan las casillas que
contienen un 1 mediante potencias en base 2, es
decir, 2, 4, 8, ... y se expresar mediante una
suma de productos, ya que, el caso más usual
es que venga expresada en minterms.
 Simplificación de funciones

En el caso de que la función booleana esté

expresada en maxterms, el método de Karnaugh
se aplica de la misma forma que en el caso de
minterms, la única diferencia estriba en que los
unos que deben ponerse en las casillas son los
correspondientes a los maxterms existentes en
la función.
 Simplificación de funciones

Redundancias

A menudo, en el diseño de sistemas digitales sucede que

ciertas combinaciones de las variables, es decir, ciertos
minterms, son prohibidos por alguna razón.

Estas combinaciones prohibidas reciben el nombre de

redundancias y pueden utilizarse para simplificar
funciones booleanas.
 Simplificación de funciones

Para minimizar una función booleana que presente redundancias,

pueden utilizarse los mapas de Karnaugh del mismo modo que en la
subsección precedente, y puesto que los minterms correspondientes
a las combinaciones prohibidas nunca se van a producir, los cuadros
correspondientes en el mapa de Karnaugh pueden hacerse ceros o
unos, en función de lo que interese al diseñador.

Cada minterm que sea redundante se indicará con una cruz en la casilla
correspondiente del mapa de Karnaugh, y a continuación se pondrán
unos o ceros en lugar de las cruces, según convenga en la
simplificación.
 Simplificación de funciones

Criterios de valoración

• Simplificar la función con las reglas dadas de modo que se

obtenga la expresión que contenga menos sumandos (si está
expresada en forma de minterms) o menos productos (si está
expresada en forma de maxterms).

• Si se obtienen varias funciones equivalentes desde el punto

de vista considerado anteriormente, se tomará como más
simple la expresión que contenga menos variables.
 Simplificación de funciones

• Se hallará la forma dual para ver si es más simple.

• Se estudiará, en caso de tener varias expresiones equivalentes

(es decir, con el mismo número de términos y variables), cuál es
la de menor orden.

• Si se tuviese que decidir finalmente entre varias funciones

posibles con el mismo número de términos, de variables e igual
orden, se elegirá la más económica, es decir, la que necesite
menor número de diodos y transistores evaluando los circuitos
AND, OR y NOT necesarios.