DISEO CON

PUERTAS LOGICAS
INTEGRADAS
 ALGEBRA DE BOOLE
El lgebra de Boole es una estructura matemtica que se
construye a partir de un conjunto de elementos sobre
los que se definen unos operadores que permiten
realizar operaciones en ellos, estableciendo unos
postulados o axiomas que relacionan tanto al conjunto de
elementos como al conjunto de operadores.

Siempre que se manipulen variables binarias, el

resultado son ecuaciones. Se necesitan reglas para
trabajar con estas ecuaciones. El lgebra de Boole
proporciona el conjunto necesario de reglas, en forma
de propiedades y teoremas.
 axioma

Cada uno de los principios fundamentales e

indemostrables sobre los que se construye una
teora. verdad evidente sobre la cual descansa.
En matemticas un axioma no es
necesariamente una verdad evidente, sino una
expresin lgica utilizada en una deduccin
para llegar a una conclusin.
 postulados
Proposicin que se toma como punto de
partida para la demostracin de teoremas
dentro de un sistema axiomtico, sin que se
trate de una proposicin deducible de otros
enunciados.
Proposicin que, teniendo apariencia de ser
evidente se admite como cierta sin
demostracin matemtica.
 teoremas
Un teorema es una afirmacin que puede ser
demostrada como verdadera dentro de un marco
lgico.
Un teorema generalmente posee un nmero de
condiciones que deben ser enumeradas o
aclaradas de antemano y que se denominan
hiptesis.
Luego existe una conclusin, una afirmacin
matemtica, la cual es verdadera bajo las
condiciones en las que se trabaja.
Se derivan de los axiomas y tiene demostracin
(algebraica o por tablas de verdad)
POSTULADOS del lgebra de Boole
POSTULADO 1 (operacin OR)
La suma lgica de una variable ms un 1 lgico
equivale a un 1 lgico:

A+1=1

POSTULADO 2 (operacin OR)

La suma lgica de una variable ms un 0 lgico
equivale al valor de la variable:

A+0=A
POSTULADOS del lgebra de Boole
POSTULADO 3 (operacin AND)
El producto lgico de una variable por un 1 lgico es
igual al valor de la variable:

A1=A

POSTULADO 4 (operacin AND)

El producto lgico de una variable por un 0 lgico es
igual a 0:

A0=0
 POSTULADOS del lgebra de Boole
POSTULADO 5 (redundancia)
La suma lgica de dos variables iguales equivale al valor de
dicha variable:

A+A=A

POSTULADO 6 (redundancia )
El producto lgico de dos variables iguales equivale al valor de
dicha variable:

AA=A
 POSTULADOS del lgebra de Boole
POSTULADO 7 (complemento)
La suma lgica de una variable ms la misma variable negada
equivale a un 1 lgico:

A+A=1

POSTULADO 8 (complemento)
El producto lgico de una variable por la misma variable
negada equivale a un 0 lgico:

AA=0
 POSTULADOS del lgebra de Boole
POSTULADO 9 (doble inversin)
Si una variable es negada dos veces, sta no vara. Este
postulado es vlido para cualquier nmero par de inversiones:

A=A

POSTULADO 10 (inversin total)

Si se invierten los dos miembros de una igualdad, sta no
sufre ninguna variacin:

S=A+B ; S=A+B suma

S=AB ; S=AB producto
 PROPIEDADES del lgebra de Boole
PROPIEDAD CONMUTATIVA

Propiedad conmutativa de la suma para dos variables

El orden en que se aplica a las variables la operacin

OR es indiferente:
A+B = B+A
 PROPIEDADES del lgebra de Boole
PROPIEDAD CONMUTATIVA

Propiedad conmutativa de la multiplicacin para dos

variables

El orden en que se aplica a las variables la operacin

AND es indiferente:
AB = BA
 PROPIEDADES del lgebra de Boole
PROPIEDAD ASOCIATIVA

Propiedad asociativa de la suma para tres variables

Al aplicar la operacin OR a ms de dos variables, el

resultado es el mismo independientemente de la forma
en que se agrupen las variables:

A + (B + C) = (A + B) + C
 PROPIEDADES del lgebra de Boole
PROPIEDAD ASOCIATIVA

Propiedad asociativa de la multiplicacin de tres variables

Al aplicar la operacin AND a ms de dos variables, el

resultado es el mismo independientemente de la forma
en que se agrupen las variables:

A(BC) = (AB)C
 PROPIEDADES del lgebra de Boole
PROPIEDAD DISTRIBUTIVA

Propiedad distributiva para tres variables

Aplicar la operacin OR a dos o ms variables y luego

aplicar la operacin AND al resultado de la operacin y
a otra variable aislada, es equivalente a aplicar la
operacin AND a la variable aislada con cada uno de los
sumandos y luego aplicar la operacin OR a los
productos resultantes.
 PROPIEDADES del lgebra de Boole
PROPIEDAD DISTRIBUTIVA
Propiedad distributiva para tres variables

A(B + C) = AB + AC

Esta propiedad tambin expresa el proceso de sacar

factor comn, en el que la variable comn se saca como
factor de los productos parciales.
 teoremas
Los teoremas que enunciamos seguidamente podrn
ser demostrados apoyndonos en los postulados y
propiedades descritos anteriormente.
TEOREMA 1: LEY DE ABSORCION

a) A+AB=A

Demostracin : A + A B = A ( 1 + B ) = A 1 = A

b) A(A+B)=A

Demostracin : A (A + B) = A A + A B =
A+AB=A
 teoremas
TEOREMA 2: LEY SIMPLIFICATIVA

a) A+AB=A + B

Demostracin: A + A B = (A +A) ( A + B ) =
1( A + B) = A + B

b) B(A+B)=A B

Demostracin : B (A + B) = B A + B B =
BA+0=AB
 teoremas
TEOREMA 3: LEYES DE MORGAN

1 LEY AB=A + B
El complemento de un producto de variables es igual
a la suma de las variables complementadas.

Demostracin:
La forma mas cmoda de demostrar el teorema es
construyendo la Tabla de la Verdad
 teoremas
TEOREMA 3: LEYES DE MORGAN

2 LEY A+B= A B
El complemento de un suma de variables es igual
al producto de las variables complementadas.

Demostracin:
La forma mas cmoda de demostrar el teorema es
construyendo la Tabla de la Verdad
 teoremas
TEOREMA 4: DISTRIBUTIVA INVERSA

(A + B)(A + C) = A + BC
Demostracin:
(A + B)(A + C) = AA + AC + AB + BC =
A + AC + AB + BC = A + BC
 teoremas
TEOREMA 5: LEY DEL CONSENSO

(AB) + (AC) + (BC)= AB + AC

Demostracin:

La clave para utilizar este teorema es un elemento y su

complemento, encontrar los trminos asociados y
eliminar el trmino incluido (el trmino de "consenso"), el
cual est compuesto de los trminos asociados.
 teoremas
TEOREMA 5: LEY DEL CONSENSO

(AB) + (AC) + (BC)= AB + AC

Mas ejemplos:

En cada uno de los ejemplos anteriores, un elemento o

expresin y su complemento son la clave para reducir la
expresin.
 teoremas
TEOREMA 5: Dualidad

El dual de una expresin booleana se puede obtener

remplazando por +, + por , 0 por 1, y 1 por 0, y dejando
las variables sin Cambio.
Si una expresin es valida en el Algebra booleana, su
dual tambin lo es.

A+ B + ... A B ...

El dual del teorema A + 0 = A es A 1 = A

Demostracin: La forma mas cmoda de demostrar el

teorema es construyendo la Tabla de la Verdad
 Simplificacin de circuitos

Como los circuitos lgicos son representaciones de

funciones lgicas, se pueden utilizar los recursos
disponibles para simplificarlos y as reducir la cantidad
de componentes electrnicos en un circuito:

Diagramas de Venn
Algebra de Boole
Mapas de Karnaugh
Quine McClouskey
Simplificacin de circuitos
Para simplificar una funcin cannica se pueden
utilizar dos mtodos:

a) MTODO ALGEBRAICO: se basa en utilizar las

propiedades, leyes y teoremas del lgebra de Boole. Es
un mtodo laborioso, sobre todo si se trata de
funciones con muchos trminos y variables.

b) MTODO DE KARNAUGH: se trata de un mtodo

grfico que permite simplificar las tablas de verdad y
hallar la forma cannica de una funcin de forma
sistemtica. Se basa en la utilizacin del denominado
mapa o diagrama de Karnaugh.
 FORMAS CANNICAS
Se llama forma cannica de una funcin lgica a
todo producto de sumas o suma de productos en los
cuales aparecen todas las variables en cada uno de los
trminos que constituyen la expresin.

Primera forma cannica o MINTERMS. Se

representa una funcin por medio de sumas de pro-
ductos en los que aparecen todas las variables, bien en
forma directa (A) o complementada (A).
Segunda forma cannica o MAXTERMS. Se
representa una funcin por medio de producto de
sumas en los que aparecen todas las variables, bien en
forma directa o complementada.

En ningn caso aparecen trminos repetidos

 FORMAS CANNICAS
Los minterms que aparecen en la forma cannica de una
funcin se llaman

minterms 1 de la funcin

Los maxterms que aparecen en la forma cannica de

una funcin se llaman

maxterms 0 de la funcin

Las formas cannicas son expresiones nicas de la

funcin
 FORMAS CANNICAS
EXPRESION EN FORMA NUMERICA 1 FORMA CANONICA
Debido a que las expresiones en forma cannica
pueden aparecer bastantes largas, stas tambin
pueden expresarse de una forma numrica,
obtenindose una expresin ms corta.

Los pasos a seguir para obtener la expresin en forma

numrica son los siguientes:

1- Si es necesario, se ponen todas las variables de cada

trmino en el mismo orden.
 FORMAS CANNICAS
2- Se ha de hallar el nmero decimal equivalente para
cada trmino. Este nmero se obtiene sustituyendo las
variables expresadas en forma directa por un 1 y las
variables expresadas en forma inversa por un 0,
convirtiendo posteriormente en cada trmino el
nmero binario formado por sus variables a decimal.
 FORMAS CANNICAS

3- Se expresa la funcin con el sumatorio de los

nmeros decimales hallados. Es recomendable
indicar el nombre y el orden de las variables de la
funcin para evitar posibles errores.

NOTACION SIMPLIFICADA

Donde el subndice del sumatorio indica el nmero

de variables de la funcin.
 FORMAS CANNICAS
EXPRESION EN FORMA NUMERICA 1 y 2 FORMA CANONICA

A partir de la expresin en forma numrica, es

muy sencillo pasar de la primera forma cannica a la
segunda y viceversa.

Los ndices que aparecen en una forma son los

que faltan en la otra
 FORMAS CANNICAS
OBTENCION A PARTIR DE LA TABLA DE LA VERDAD

Tomando la tabla de verdad, podemos establecer una

funcin lgica de dos formas posibles:

(1) Primera forma cannica o forma cannica disyuntiva

(suma de productos o minterms).

(2) Segunda forma cannica o forma cannica conjuntiva

(producto de sumas o maxterms).
 FORMAS CANNICAS
OBTENCION A PARTIR DE LA TABLA DE LA VERDAD

En la primera forma cannica, SoP (Sum of Products)

se obtiene sumando todos los minitrminos que dan

salida 1. En un minitrmino se asigna 0 la variable

inversa y se asigna 1 la variable directa.

La segunda forma cannica, PoS (Products of Sums), se
obtiene de forma dual a la anterior: multiplicando los

maxitrminos cuya columna resultado sea 0. En un

maxitrmino se asigna 1 la variable inversa y 0 a la

variable directa.
 FORMAS CANNICAS
OBTENCION A PARTIR DE LA TABLA DE LA VERDAD

D C B A

0 0 0 0 0
0 0 0 1 1
0 0 1 0 1
0 0 1 1 0
0 1 0 0 1 f(D,C,B,A) = m1+ m2+ m4+ m7+ m8
0 1 0 1 0
0 1 1 0 0
0 1 1 1 1
1 0 0 0 1 f(D,C,B,A) = M0 M3 M5 M6 M9
1 0 0 1 0
 FORMAS CANNICAS
OBTENCION A PARTIR DE LA TABLA DE LA VERDAD
 FORMAS CANNICAS
OBTENCION A PARTIR DE UNA FUNCION

Cualquier funcin lgica, sea cual sea su forma en

que est expresada inicialmente, puede ser
transformada para su representacin en forma
cannica.
Dada la funcin
S = A(C+ B) +CB+A
Los pasos a seguir para pasarla a la primera forma
cannica son los siguientes:

1- Si es necesario, se aplica la propiedad distributiva

para tener toda la funcin como una suma de
productos.
S = CA+ BA+CB+A
 FORMAS CANNICAS
OBTENCION A PARTIR DE UNA FUNCION

2- Se ha de aadir a cada trmino las variables que

falten, sin modificar el valor inicial de cada uno de
ellos.

La forma de conseguirlo es multiplicando cada

trmino por la suma (X+X) , donde X representa la
variable que falta. Como la suma vale 1, no se modifica
el valor de la funcin.

S = CA(B+B)+BA(C+C)+CB(A+A)+A(B+B)(C+C)
 FORMAS CANNICAS
OBTENCION A PARTIR DE UNA FUNCION

3- Se aplica la propiedad distributiva a cada trmino.

S=CBA+CBA+CBA+CBA+CBA+CBA+CBA+
CBA+CBA+CBA
4- Se eliminan los trminos repetidos, dejando solo uno
de ellos.
La funcin queda expresada en su primera forma
cannica.

S = CBA+CBA+CBA+CBA+CBA+CBA+CBA
La cual puede representarse en forma numrica o
notacin simplificada.
 COMPUERTAS UNIVERSALES
NAND y NOR

Para la implementacin de circuitos lgicos se

pueden utilizar cualquier tipo de puertas. Sin embargo
la tendencia ms comn es implementar un circuito
empleando solamente un tipo de puertas. De este
modo se abaratan costes.

Este mtodo de implementacin solo se puede

realizar con puertas NAND o NOR, ya que solo estas
dos puertas lgicas son universales, es decir se puede
realizar cualquier circuito lgico y sustituir cualquier
puerta empleando nicamente este tipo de puertas,
para ello debemos seguir un cierto protocolo.
 COMPUERTAS UNIVERSALES
NAND
Siempre podemos negar una expresin lgica dos
veces, tantas veces como necesitemos y sta quedar
inmutable, si luego aplicamos el teorema de Morgan a
una de las dos negaciones anteriores, conseguimos que
un producto negado se convierta en una suma de
variables negadas, o bien que una suma negada se
convierta en un producto de variables negadas.

Representacin simblica y funcin lgica de la compuerta NAND

 COMPUERTAS UNIVERSALES
NOT AND y OR Implementadas con compuertas
NAND
 COMPUERTAS UNIVERSALES
NAND
Implementacin de una funcin Booleana
Mtodo de diagrama de bloques
Una forma conveniente de implementar un circuito
combinacional con compuertas NAND es obtener las
funciones booleanas simplificadas en trminos de
AND, OR y NOT y convertir las funciones en la lgica
NAND.
La conversin de la expresin algebraica para
operaciones AND, OR y NOT en operaciones NAND,
por lo comn es bastante complicada debido a que
implica un gran nmero de aplicaciones del teorema
de Morgan.
 COMPUERTAS UNIVERSALES
NAND
Implementacin de una funcin Booleana
Mtodo de diagrama de bloques
Esta dificultad se evita por el uso de simple
manipulaciones de circuito las siguientes simples
reglas:
1. Dibujar el diagrama lgico con compuertas
AND, OR y NOT a partir de la expresin algebraica
2. Dibujar un segundo diagrama lgico con la
lgica NAND equivalente para cada compuerta AND,
OR y NOT
3. Eliminar del diagrama cualquiera dos
inversores en cascada ya que la inversin doble no
realiza una funcin lgica.
 COMPUERTAS UNIVERSALES
NAND Implementacin de una funcin Booleana
Mtodo de diagrama de bloques
 COMPUERTAS UNIVERSALES
NOR
La funcin NOR es dual a la funcin NAND. Por esta
razn, todos los procedimientos para la lgica NOR
forman un dual de los procedimientos y reglas
correspondientes desarrollados para la lgica NAND.
La compuerta NOR se dice que es una compuerta
universal porque cualquier funcin booleana puede
implementarse con ella.

Representacin simblica y funcin lgica de la compuerta NOR

 COMPUERTAS UNIVERSALES
NOT AND y OR Implementadas con compuertas
NOR
 COMPUERTAS UNIVERSALES
NOR
Implementacin de una funcin Booleana
Mtodo de diagrama de bloques
El procedimiento de diagrama de bloques para
implementar funciones booleanas con compuertas NOR
es similar al procedimiento para compuertas NAND:
1. Dibujar el diagrama lgico con compuertas
AND, OR y NOT a partir de la expresin algebraica
2. Dibujar un segundo diagrama lgico con la
lgica NOR equivalente para cada compuerta AND, OR
y NOT
3. Eliminar del diagrama cualquiera dos
inversores en cascada ya que la inversin doble no realiza
una funcin lgica.
 COMPUERTAS UNIVERSALES
NOR Implementacin de una funcin Booleana
Mtodo de diagrama de bloques
 COMPUERTAS UNIVERSALES
NAND y NOR RESUMEN

Cuadro resumen implementacin con puertas NAND y NOR