Вы находитесь на странице: 1из 18

CARRERA PROFESIONAL DE ELECTRONICA

INDUSTRIAL
SISTEMAS DIGITALES
TEMA 3: ALGEBRA BOOLEANA Y FUNCIONES LOGICAS
3.1. INTRODUCCION
El álgebra de Boole se llama así debido a George Boole, quien la desarrolló a
mediados del siglo XIX. El álgebra de Boole denominada también álgebra de la lógica,
permite prescindir de la intuición y simplificar deductivamente afirmaciones lógicas
que son todavía más complejas.
El objetivo principal de este capítulo es llegar a manejar los postulados y teoremas del
álgebra de Boole como herramienta básica en el análisis y síntesis de circuitos
digitales.
3.2. DEFINICIONES.
El sistema matemático denominado álgebra Booleana, es un método simbólico de
estudiar relaciones lógicas, el cual se desarrolla en tres partes:
 Se establecen los conceptos fundamentales (símbolos o términos no
definidos).
 Se define un conjunto de postulados que formen la base del álgebra.
 Se constituyen los teoremas fundamentales del álgebra a partir de los
postulados.
A su vez, las exigencias y condiciones que deben reunir los postulados son:
 Los postulados deben ser coherentes o consistentes para que un álgebra
definida pueda desarrollarse por deducciones lógicas. En caso contrario, el
sistema resultaría contradictorio.
 Los postulados deben ser independientes; es decir, irreductibles
recíprocamente (libre de reducciones).
 Los postulados deben ser tan simples en su enunciado como sea posible; es
decir, no separables en dos o más partes.

3.3. TEOREMAS
Conocidas ya las tres operaciones más elementales del álgebra de Boole,
enunciaremos a continuación de la forma más concisa posible, sus teoremas
fundamentales:
TEOREMA 1. El resultado de aplicar cualquiera de las tres operaciones antes
definidas, a variables booleanas, es otra variable booleana y además el resultado es
único.
TEOREMA 2. Ley de idempotencia. Tanto la suma como el producto de una variable
booleana consigo misma da como resultado la misma variable:
A+A=A
A*A=A
TEOREMA 3. Ley de involución. Una variable booleana negada dos veces, da como
resultado la misma variable:

1
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
TEOREMA 4. Ley conmutativa. Se define respecto a la suma (y al producto) y nos
dice que el orden de los sumandos (factores) no altera el resultado:
A+B=B+A
A*B=B*A
TEOREMA 5. Ley asociativa. Se define respecto a las operaciones suma y producto
de la siguiente forma:
Respecto de la suma: A+(B+C) = (A+B)+C = A+B+C
Respecto del producto: A(BC) = (AB)C = ABC

TEOREMA 6. Ley distributiva.


Respecto de la suma: A+BC = (A+B)(A+C)
Respecto del producto: A(B+C) = AB+AC
TEOREMA 7. Ley de absorción.
A+AB = A
A(A+B) = A
TEOREMA 8. Leyes de De Morgan

3.4. RESUMEN DE LOS TEOREMAS

Figura1. Propiedades del algebra de BOOLE

2
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
(Las leyes de De Morgan pueden ser generalizadas a "n" variables.)
A continuación se muestran algunas relaciones importantes que se deducen de las
operaciones booleanas y de los teoremas anteriores:

0+A = A 1*A = A 0*A = 0 1+A = 1

Analizadas las variables booleanas y sus operaciones, pasamos a definir una función
booleana como un conjunto de variables booleanas relacionadas entre sí por
cualquiera de las tres operaciones ya definidas o una combinación de ellas. En
general la representaremos por:

f(A,B,C,...)
Indicando que la función f depende de las variables A, B, C, etc. Además podemos
asegurar que toda función booleana es también una variable booleana (Teorema 1).

3.5. INTERVALOS DE TENSIÓN DE NIVELES LÓGICOS

El 0 y el 1 lógicos no se representan con valores exactos de tensión sino mediante


intervalos de tensión. Es decir, los valores de tensión con los que se representan los
niveles ALTO y BAJO no se restringen a los valores exactos Vcc y 0V, sino que se
definen intervalos cercanos a estos límites, pero lo suficientemente distintos entre sí
como para asegurar que siempre puedan distinguirse los niveles ALTO y BAJO que
representan el 1 lógico y el 0 lógico, respectivamente.. Los intervalos de tensión que
representan los valores lógicos 0 y 1 en las señales de entrada dependen de la
tecnología utilizada en la implementación de los circuitos digitales. Las tecnologías
actuales de fabricación de circuitos integrados son TTL y CMOS. Estas tecnologías se
diferencian principalmente por el tipo de transistores que utilizan. La tecnología TTL
utiliza transistores bipolares, que son los que ya hemos descrito y la tecnología CMOS
utiliza otro tipo de transistores, denominados de efecto de campo. Esto implica
diferentes características entre ambas tecnologías en cuanto al consumo eléctrico,
tensión de alimentación, velocidad de operación, etc. La Figura2 muestra los
intervalos de tensión que se utilizan en las tecnologías TTL y CMOS para representar
valores lógicos de señales de entrada. Cada tecnología define también los intervalos
que utilizan para representar valores lógicos de señales de salida.

Figura2. Intervalos de tensión para señales de entrada.

3
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
Los circuitos digitales de tecnología TTL funcionan con una tensión de alimentación
de 5 V. Los valores lógicos de una señal de entrada se representan con los siguientes
intervalos de tensión:

 El 0 lógico se representa con un valor de tensión entre 0 V y 0,8 V


 El 1 lógico se representa con un valor de tensión entre 2 V y 5 V
 Los valores de tensión entre 0,8 V y 2 V son indeterminados.

Los circuitos basados en tecnología CMOS, utilizan tensiones de alimentación desde


3 V hasta 18 V. Si tomamos una tensión de alimentación de 5 V para comparar con
los rangos TTL, los valores lógicos de una señal de entrada se representan con los
siguientes intervalos de tensión:

 El 0 lógico se representan con un valor de tensión entre 0 V y 1,5 V


 El 1 lógico se representa con un valor de tensión entre 3,5 V y 5 V
 Los valores de tensión entre 1,5 V y 3,5 V son indeterminados.

Los valores de tensión ubicados en la región indeterminada pueden ser interpretados


aleatoriamente como 1 o como 0, provocando un funcionamiento impredecible en el
circuito. Por esta razón, las señales de entrada de circuitos digitales deben presentar
valores de tensión en alguno de los intervalos definidos y no en la región
indeterminada, a excepción de las transiciones entre un intervalo y otro.

3.6. PUERTAS LOGICAS

Una puerta lógica, o compuerta lógica, es un dispositivo electrónico con una


función booleana. Suman, multiplican, niegan o afirman, incluyen o excluyen según
sus propiedades lógicas. Se pueden aplicar a tecnología electrónica, eléctrica,
mecánica, hidráulica y neumática.

En electrónica digital se realizan circuitos que describen las operaciones que


realizamos con los bits. Estos esquemas se realizan con símbolos denominados
puertas lógicas.

El espectacular desarrollo de las técnicas digitales hizo necesario el diseño de una


simbología lógica estructurada, debido a que la simbología estándar americana (no
normalizada) ya no resultaba adecuada. Ello dió lugar a la aparición de una nueva
simbología lógica normalizada adoptada por la Comisión Electrotécnica Internacional
(CEI) asociada a la Organización Internacional para la Estandarización (ISO) y que los
fabricantes han adoptado en sus hojas de datos como símbolos lógicos CEI (logic
symbol IEC). Esta simbología es la que se utiliza en estos apuntes por ser la que se
tiende a utilizar en la programación de autómatas utilizando los diagramas de
funciones (FUP).

Las puertas lógicas son dispositivos electrónicos que desarrollan las funciones
booleanas y son básicamente: Puertas OR, AND, NOT, NOR, NAND, OR Exclusiva y
NOR Exclusiva.

4
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.6.1. FUNCIÓN IDENTIDAD.
En esta función la entrada y la salida son iguales, su misión por tanto consiste en
proporcionar ganancia de corriente.

3.6.2. FUNCIÓN INVERSORA.


La salida es lo contrario de la entrada. Es la negación lógica.

3.6.3. FUNCIÓN AND.

Responde a la función que da como resultado a su salida el producto lógico, es decir,


sólo dará uno a su salida si todas las entradas están a uno también.

3.6.4. FUNCIÓN NAND.

Esta función es la complementaria de la AND, de manera que sólo cuando todas las
entradas valen uno la salida es cero.

5
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.6.5. FUNCIÓN OR.

Responde a la función que da como resultado a su salida la suma lógica, es decir,


dará uno a su salida siempre que alguna de las entradas esté a uno.

3.6.6. FUNCIÓN NOR.

Es la función complementaria de la OR, de manera que sólo valdrá uno la salida


cuando todas las entradas estén a cero.

3.6.7. FUNCIÓN OR-EXCLUSIVA.

Se dice que es una función generadora de paridad par, ya que da a su salida uno
cuando el número de unos en sus entradas es impar.

6
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.6.8. FUNCIÓN NOR-EXCLUSIVA.

Se dice que es una función generadora de paridad impar, ya que da a su salida uno
cuando el número de unos en sus entradas es par.

3.7. RESUMEN DE LAS PUERTAS LOGICAS

Figura 3. Tabla de las funciones lógicas básicas

7
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.8. FORMAS CANÓNICAS

Todas las expresiones booleanas, independientemente de su forma, pueden


convertirse en cualquiera de las dos formas canónicas.

Formas canónicas, formas normales o formas estándares de una función booleana


son expresiones booleanas de la función que verifican:

 Primera forma canónica, primera forma normal o forma normal disyuntiva:


es una expresión de una función booleana compuesta por una suma de
minitérminos (suma de miniterminos).
 Segunda forma canónica, segunda forma normal o forma normal conjuntiva:
es una expresión de una función booleana compuesta por un producto de
maxitérminos (producto de maxiterminos).

3.8.1. DEFINICIONES DE MINITERMINOS Y MAXITERMINOS

MINITÉRMINO (minterm)

Término producto que contiene todas las variables de la función, algunas de las
cuales pueden estar afirmadas y otras negadas.

Ejemplo: f(a,b,c)

MAXITÉRMINO (maxterm)

Término suma que contiene todas las variables de la función, algunas de las cuales
pueden estar afirmadas y otras negadas.

Ejemplo: f(a,b,c)

3.8.3. PRIMERA FORMA CANÓNICA (1FC)

Los minitérminos se nombran con subíndices (mi), donde i es un número obtenido tras
pasar a base 10 el número binario formado al sustituir ordenadamente las variables
afirmadas por 1 y las negadas por 0.

8
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
Cada minitérmino está asociado a una fila de la tabla de verdad de la función lógica
correspondiente.

Primera forma canónica, primera forma normal o forma normal disyuntiva: es una
expresión de una función booleana compuesta por una suma de minitérminos.

La expresión en 1FC es única para cada función.


La expresión en 1FC de una función booleana es la suma de los minitérminos
asociados a las filas que valen 1 en la tabla de verdad.

Calculando su tabla de verdad se obtiene lo siguiente:

9
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.8.4. SEGUNDA FORMA CANÓNICA (2FC)

Los maxitérminos se nombran con subíndices (Mi), donde i es un número obtenido


tras pasar a base 10 el número binario formado al sustituir ordenadamente las
variables afirmadas por 0 y las negadas por 1.

Cada maxitérmino está asociado a una fila de la tabla de verdad de la función lógica
correspondiente.
Segunda forma canónica, segunda forma normal o forma normal conjuntiva: es una
expresión de una función booleana compuesta por una producto de maxitérminos.

La expresión en 2FC es única para cada función.


La expresión en 2FC de una función booleana es el producto de los maxitérminos
asociados a las filas que valen 0 en la tabla de verdad.

10
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.9. FUNCIONES DEFINIDAS DE FORMA INCOMPLETA

En algunos sistemas digitales reales, hay ciertas combinaciones de las variables de


entrada que por no pueden producirse nunca.
 En estos casos, la salida que pudiera producir el sistema ante dichas
combinaciones de entrada es irrelevante, puesto que nunca se va a dar tal
caso.
 Las combinaciones imposibles de entrada se denominan indiferencias, valores
indiferentes, redundancias o don’t care values, y en la tabla de verdad se
representan con el símbolo X.
 Si aparece un símbolo X en una o varias filas de una tabla, nos daría
exactamente igual sustituirla por un 1 ó por un 0.

11
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.10. EXPRESION DE CUALQUIER FUNCIÓN LÓGICA EN SU PRIMERA FORMA
CANONICA
A la expresión algebraica disyuntiva en la que todos los términos producto que
aparecen son minterm, se le denomina expresión canónica disyuntiva.
Se verifican las siguientes propiedades:
 Dada la lista completa de minterm de n variables, asignando arbitrariamente
valores 1 o 0 a cada variable, se verifica que un único minterm tomará el valor
1.
 La fórmula compuesta por los 2𝑛 minterm tomará el valor 1.
 La fórmula canónica disyuntiva o de minterm es única.
 Para una función lógica, se cumple que

Toda función puede expresarse como suma de minterms. Por ejemplo dada la fórmula
disyuntiva f(A,B,C)=A.B+C, se puede pasar a la fórmula canónica disyuntiva aplicando
los postulados y propiedades del algebra de Boole.

12
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.11. EXPRESION DE CUALQUIER FUNCIÓN LÓGICA EN SU SEGUNDA FORMA
CANONICA
A la expresión algebraica conjuntiva escrita mediante maxterm se le denomina
fórmula canónica conjuntiva.
Se verifican las siguientes propiedades
 Dada la lista completa de maxterms de n variables, asignando arbitrariamente
1 o 0 a cada variable, se verifica que un único maxterm tomará el valor 0.
 La fórmula compuesta por los 2𝑛 maxterms tomará el valor 0.
 La fórmula canónica conjuntiva o de maxterm es única.
 Para una función lógica, se cumple que

Toda función puede expresarse como producto de maxterms. Por ejemplo dada la
fórmula disyuntiva f(A,B,C)=A.B+C, se puede pasar a la fórmula canónica conjuntiva
aplicando los postulados y propiedades del algebra de Boole.

13
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.12. TABLAS DE VERDAD

Una tabla de verdad describe el valor de una función para cada una de las
combinaciones posibles de valores lógicos de las variables. Cada fila de la tabla de
verdad contiene la combinación de valores lógicos de las variables de la función y el
correspondiente valor de la función para esa combinación. Es decir que la tabla de
verdad muestra explícitamente todos los casos posibles de entrada y sus respectivos
resultados (salida). Dada una función lógica de n variables, existen 2𝑛 combinaciones
posibles de sus valores, de modo que la tabla de verdad de dicha función tiene
2𝑛 filas. En la Figura 4 se muestra la tabla de verdad de una función lógica de dos
variables, designada como F1. La tabla de verdad muestra los valores que tomará la
función F1 de acuerdo a la combinación de valores lógicos de las variables. Cada fila
de la tabla muestra una de las combinaciones posibles y el valor de F1 para dicha
combinación. La Figura 3.10 muestra también la tabla de verdad para una función de
tres variables y la tabla de verdad para una función de cuatro variables.

Figura4. Ejemplos de tablas de verdad


14
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
3.12.1. Relación entre tablas de verdad y expresiones booleanas

Las tablas de verdad y las expresiones booleanas son formas de representar una
función lógica. Se puede encontrar la tabla de verdad de una función lógica a partir de
la expresión booleana de dicha función lógica. Para ello se debe evaluar la expresión
booleana para cada una de las combinaciones posibles de valores de entrada. En
forma similar, dada la tabla de verdad de una función lógica, se puede encontrar la
expresión booleana correspondiente.

3.12.2. Implementación de funciones lógicas mediante compuertas NAND


La Figura 5 muestra la forma en que las compuertas NAND se pueden utilizar para
sustituir las compuertas básicas. Del análisis de las expresiones booleanas surge la
validez de los circuitos equivalentes.

Figura 5 Implementación de compuertas básicas mediante compuertas NAND.

La implementación de circuitos lógicos mediante compuertas NAND se puede realizar


en base a la implementación de operaciones básicas mediante compuertas NAND.
En la práctica, esta implementación no se realiza por sustitución directa, sino que se
manipula la expresión booleana de la función lógica para obtener una función
15
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
equivalente que presente la forma de productos negados, que suele denominarse
lógica NAND.

Figura 6. Implementación de la función lógica mediante compuertas NAND.

3.12.3. Implementación de funciones lógicas mediante compuertas NOR


En la Figura 7 se muestra la forma en que las compuertas NOR se pueden utilizar
para sustituir las compuertas básicas. Del análisis de las expresiones booleanas
surge la validez de los circuitos equivalentes

16
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
Figura 7. Implementación de compuertas básicas mediante compuertas NOR.

Implementar circuitos lógicos mediante compuertas NOR consiste en realizar las


operaciones básicas mediante compuertas NOR. En la práctica, se busca expresar la
función lógica mediante una función equivalente que presente la forma de sumas
negadas, que suele denominarse lógica NOR.

17
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES
Figura 8. Implementación de la función lógica mediante compuertas NOR.

18
DOCENTE: Ing. Marco Serrano Quispe SISTEMAS DIGITALES

Вам также может понравиться