Vous êtes sur la page 1sur 26

LGEBRA DE BOOLE Y COMPUERTAS LGICAS

Constantes y variables booleanas


El lgebra booleana difiere de del algebra ordinaria ya que sus constantes y variables solo pueden tener
dos valores, 0 o 1. Una variable booleana es una cantidad que pueden en diferentes ocasiones, ser igual 0
a 1; estas se emplean para representar el voltaje de las terminales de entrada y de salida de un circuito y
por lo tanto el 0 y el 1 booleano no representan nmeros sino el estado de una variable de voltaje o lo que
se conoce como nivel lgico. En el campo de la lgica digital se emplean otros trminos como sinnimos de
0 y 1 por ejemplo:
0 LGICO
Falso
Bajo
Desactivado
No
Interruptor abierto

1 LGICO
Verdadero
Alto
Activado
S
Interruptor cerrado

Compuertas lgicas
Para el diseo de circuitos digitales se utilizan compuertas lgicas, las cuales permiten implementar
operaciones lgicas (lgebra booleana), el comportamiento de cualquier circuito se describe en su totalidad

Tablas de Verdad

mediante una tabla de verdad. Las tablas de verdad relacionan las entradas de un circuito con su salida.
A continuacin se muestran algunos ejemplos de tablas de verdad:

25 de 83

Una compuerta lgica es un bloque de circuitera que produce seales de salida lgica (1 0) si se
satisfacen las condiciones de las entradas lgicas. Los nombres, circuitos digitales, circuitos de
conmutacin, circuitos lgicos y compuertas son usados a menudo pero s har referencia a los circuitos
con compuertas.
Otra manera de poder visualizar el comportamiento de un circuito es mediante el diagrama de tiempo, esto
es la representacin grfica de las seales de entrada a la compuerta, en la cual se incluyen todas las
combinaciones posibles.

Compuerta AND
Cada compuerta tiene dos variables de entrada designadas por A y B y una salida binaria designada por x.
La compuerta AND produce la multiplicacin lgica AND: esto es: la salida es 1 si la entrada A y la entrada
B estn ambas en el binario 1: de otra manera, la salida es 0. Estas condiciones tambin son especificadas
en la tabla de verdad para la compuerta AND. La tabla muestra que la salida x es 1 solamente cuando
ambas entradas A y B estn en 1. El smbolo de operacin algebraico de la funcin AND es el mismo que
el smbolo de la multiplicacin de la aritmtica ordinaria ().Las compuertas AND pueden tener ms de dos
entradas y por definicin, la salida es 1 si todas las entradas son 1. La ecuacin lgica de una compuerta
AND es:

Algebra Booleana

x = A AND
B
Operacin
A continuacin se muestra (a) la tabla de verdad y (b) el diagrama lgico de una compuerta AND de 2
entradas:

26 de 83

Algebra Booleana

Operacin AND
A continuacin se muestra la tabla de verdad y el diagrama lgico de una compuerta AND de 3 entradas:

Algebra Booleana

Operacin AND
La siguiente figura muestra el diagrama de tiempo de la compuerta AND de 2 entradas:

Compuerta OR
La compuerta OR produce la funcin sumadora, esto es, la salida es 1 si la entrada A o la entrada B o
ambas entradas son 1; de otra manera, la salida es 0. El smbolo algebraico de la funcin OR (+), es igual a
la operacin de aritmtica de suma. Las compuertas OR pueden tener ms de dos entradas y por definicin
la salida es 1 si cualquier entrada es 1..La ecuacin lgica de una compuerta OR es:
Algebra
x = Booleana
A+B

Operacin OR
A continuacin se muestra (a) la tabla de verdad y (b) el diagrama lgico de una compuerta OR de 2
entradas:

27 de 83

A continuacin se muestra la tabla de verdad y el diagrama lgico de una compuerta OR de 3 entradas:

Algebra Booleana

Operacin OR

Algebra Booleana

Operacin OR
La siguiente figura muestra el diagrama de tiempo de la compuerta OR de 2 entradas:

Compuerta NOT
El circuito NOT es un inversor que invierte el nivel lgico de una seal binaria. Produce el NOT, o funcin
complementaria. El smbolo algebraico utilizado para el complemento es una barra sobra el smbolo de la
variable binaria. Si la variable binaria posee un valor 0, la compuerta NOT cambia su estado al valor 1 y
viceversa. El crculo pequeo en la salida de un smbolo grfico de un inversor designa un inversor lgico.
Es decir cambia los valores binarios 1 a 0 y viceversa. La ecuacin lgica de una compuerta NOT es:

x=A
x = A!

28 de 83

Operacin NOT

A continuacin se muestra (a) la tabla de verdad, (b) el diagrama lgico y (c) el diagrama de tiempo de una
compuerta NOT:

Algebra de Boole

Definicin y postulados
lgebra de Boole (tambin llamada lgebra booleana) es una estructura algebraica que esquematiza las
operaciones lgicas Y, O , NO y SI (AND, OR, NOT, IF), as como el conjunto de operaciones unin,
interseccin y complemento.
Se denomina as en honor a George Boole, 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
Hamilton. El lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de
la lgica proposicional. Ms tarde como un libro ms importante: The Laws of Thought, publicado en
1854.
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:
a) Al anlisis, porque es una forma concreta de describir como funcionan los circuitos.

29 de 83

b) Al diseo, ya que teniendo una funcin aplicamos dicha lgebra, para poder desarrollar una
implementacin de la funcin

Definicin
Dado un conjunto: B formado cuando menos por los elementos: , U en el que se ha definido:
a) Una operacin unaria interna, que llamaremos complemento:

~ : BB
a b =~ a
En esta operacin definimos una aplicacin que, a cada elemento a de B , le asigna un b de B .

a B : !b B / b =~ a
Para todo elemento a en B , se cumple que existe un nico b en B , tal que b es el complemento de a .
b) La operacin binaria interna, que llamaremos suma:

: BB B
(a, b) c = a b
por la que definimos una aplicacin que, a cada par ordenado (a, b) de B por B , le asigna un c de B .

(a, b) B B : !c B / c = a b
Para todo par ordenado (a, b) en B por B , se cumple que existe un nico c en B , tal que c es el
resultado de sumar a con b .
c) La operacin binaria interna, que llamaremos producto:

: BB B
(a, b) c = a b
Con lo que definimos una aplicacin que, a cada par ordenado (a, b) en B por B , le asigna un c de B .

(a, b) B B : !c B / c = a b

30 de 83

Para todo par ordenado (a, b) en B por B , se cumple que existe un nico c en B , tal que c es el
resultado del producto de a por b .
Dada la definicin del lgebra de Boole como una estructura algebraica genrica, segn el caso concreto
de que se trate, la simbologa y los nombres de las operaciones pueden variar.

Postulados
Los postulados de un sistema matemtico forman los supuestos bsicos mediante los cuales es posible
deducir las reglas, teoremas y propiedades del sistema. Los postulados mas comunes que se utilizan para
formular diversas estructuras algebraicas son:

Cierre. Un conjunto B esta cerrado con respecto a un operador binario si, para cada par de elementos
de B , el operador binario especifica una regla para obtener un elemento nico de B .

Ley asociativa. Un operador binario en un conjunto B se dice que es asociativo siempre que:

(x y) z = x (y z) para toda x, y, z B

Ley conmutativa. Un operador binario en un conjunto B se dice que es conmutativo siempre que:

x y = y x para toda x, y B

Elemento identidad. Un conjunto B se dice que tiene un elemento identidad respecto a una operacin
binaria en B si existe un elemento e B con la propiedad:

x e = e x = e para cada x B

lnversa. Un conjunto B que tiene el elemento identidad e con respecto a un operador binario se
dice que tiene una inversa siempre que, para cada x B , existe un elemento y B tal que:

xy = e

Ley distributiva. Si y son dos operadores binarios en un conjunto B , se dice que es distributivo
sobre siempre que:

x (y z) = (x y) (x z)

31 de 83

Teoremas de una sola variable


Teoremas
Teoremas de una sola variable:

as de una sola variable

32 de 83

Teoremas multivariable
Teoremas multivariable:

Teoremas de DeMorgan
Teoremas de DeMorgan

Implicaciones de los teoremas de


DeMorgan

Implicacin del teorema (16)

33 de 83

Universalidad de las compuertas


NAND y NOR
Implicacin del teorema (17)

Circuitos Digitales
2011-2

Universalidad de las compuertas NAND y NOR

Universalidad de la compuerta NAND


Universalidad de la compuerta NAND:

34 de 83

2011-2

Universalidad de la compuerta NOR


Universalidad de la compuerta NOR

Smbolos estndar y alternativos para


diversas
compuertas
lgicas
Smbolos estndar
y alternativos de las compuertas
lgicase inversor

35 de 83

Smbolos
lgicos
Smbolos lgicos estndar
IEEE/ANSIestndar IEEE/ANSI

Funciones lgicas
Una variable binaria puede tomar el valor de 0 o 1. Una funcin booleana o funcin lgica es una expresin
formada por variables binarias, los dos operadores binarios OR y AND, operador unitario NOT, parntesis y
signo de igual. Para un valor dado de variables, la funcin puede ser 0 o bien 1.
En matemticas, una funcin booleana es una funcin cuyo dominio son las palabras conformadas por los
valores binarios 0 1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1.
Formalmente, son las funciones de la forma f : B n B , donde B = {0,1} y n un entero no negativo
correspondiente a la aridad de la funcin.
Existen distintas formas de representar una funcin lgica, entre las que podemos destacar las siguientes:
- Algebraica
- Por tabla de verdad
- Numrica
- Grfica

36 de 83

El uso de una u otra, como veremos, depender de las necesidades concretas en cada caso.

Tabla de verdad de una funcin lgica


Una tabla de verdad contiene todos los valores posibles de una funcin lgica dependiendo del valor de sus
variables. El nmero de combinaciones posibles para una funcin de n variables vendr dado por 2 n . Una
funcin lgica puede representarse algebraicamente de distintas formas, pero slo tiene una tabla de
verdad.
La forma ms cmoda para ver la equivalencia entre una tabla de verdad y una expresin algebraica es
cuando esta ltima se da en su forma cannica.

Funciones importantes de un lgebra de Boole


Funcin O-exclusiva
La puerta XOR, compuerta XOR u OR exclusiva es una puerta lgica digital, en la cual, cuando todas sus
entradas son distintas entre s para dos entradas A y B, o cuando el nmero de 1 (unos) da una cantidad
impar para el caso de tres o ms entradas, su salida est en 1.

(a) Circuito XOR y tabla de verdad (b) Smbolo tradicional XOR (c) Smbolo IEEE/ANSI XOR

37 de 83

Funcin equivalencia o comparacin


La puerta XNOR, compuerta XNOR o NOR exclusiva es una puerta lgica digital en la cual, cuando tiene
dos entradas, estas poseen el mismo valor lgico, o cuando el nmero de 1 (unos) da una cantidad par
para el caso de tres o ms entradas, su salida est en 1 o en ALTA.

(a) Circuito XNOR y tabla de verdad (b) Smbolo tradicional XNOR (c) Smbolo IEEE/ANSI XNOR

Simplificacin de funciones lgicas


Mintrminos y Maxtrminos
Una variable binaria puede aparecer ya sea en forma normal ( x ) o en su forma complementaria ( x! ).
Ahora considrense dos variables binarias x y y combinadas con un operador AND. Ya que cada variable
puede aparecer en cualquier forma, hay cuatro combinaciones posibles: x ' y' , x ' y , xy' y xy . Cada uno
de esos cuatro trminos AND se denomina un mintrmino o un producto estndar. En forma semejante,
pueden combinarse n variables para formar 2 n mintrminos. Los 2 n mintrminos diferentes pueden

38 de 83

denomina un mintermino 0 un producto estandar. En forma semejante, pueden combinarse n variables para formar 2n minterminos. Los 2n minterminos diferentes pueden
determinarse por un metoda similar al que se muestra en la Tabla 2-3 para tres
variables. Los numeros binarios desde 0 a 2n - I se listan bajo las n variables. Cada
mintermino se obtiene de un termino AND de las n variables, con cada variable vuelta
determinarse
un mtodo similar del
al que
se muestra
en laessiguiente
para tres
Losla
prima
si el bitporcorrespondiente
numero
binario
un 0 y tabla
no prima
si esvariables.
un 1. En
tambien
muestra
para
mintermino
y esta en
forma
mj.
tabla
nmeros
binariossedesde
0 a 2 nun
-1 simbolo
se listan bajo
las cada
Cada mintrmino
se la
obtiene
de un
n variables.
donde j indica el equivalente decimal del numero binario del mintermino denotado.
termino AND de las n variables, con cada variable vuelta prima si el bit correspondiente del numero binario
De manera semejante, n variables forman un termino OR. con cada variable
es un 0prima
y no prima
si esprima,
un 1. Enproporcionando
la tabla tambin se muestra
un smbolo para cada
mintrmino
y esta en la
0 no
2n combinaciones
posibles,
denominadas
vuelta
maxterminos
0 sumas
Los
ochodelmaxterminos
para
tres variables,junto
con su
forma m j donde
j indica estandar.
el equivalente
decimal
numero binario del
mintrmino
denotado.
n
denotaci6n simb6lica, se listan en la Tabla 2-3. Cualesquiera 2 maxterminos para n
un trmino
OR. con
cadamaxtermino
variable vueltase
prima
o no prima,
De manerapueden
semejante,
n variables forman
variables
determinarse
en forma
similar.
Cada
obtiene
de un
n
termino
OR
de
las
n
variables,
con
cada
variable
no
prima
si
el
bit
correspondiente
es 0
proporcionando 2 combinaciones posibles, denominadas maxtrminos o sumas estndar. Los ocho
y prima si es un 1.* Observese que cada maxtermino es el complemento de su
maxtrminos para tres variables, junto con su denotacin simblica, se listan en la misma tabla.
mintermino correspondiente y viceversa.
Cualesquiera 2 n maxtrminos para n variables pueden determinarse en forma similar. Cada maxtrmino

*En algunos
libros seOR
define
maxtennino
un termino
de n variables,
con cada variable
se obtiene
de un trmino
de las
con cada
variableOR
no prima
si el bit correspondiente
es 0 sin
y
n variables,como
prima si el bites un 1 y con prima si es un O. La definicion que se ha adoptado en este libro es preferible, ya que
prima
si es un 1. mas simples entre funciones del tipo maxtennino y mintermino.
lleva
a conversiones
T AlllA 2-3

Minterminos y maxterminos para tres variables binarias.

Minterminos

x y

0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

Termino

x'y'z'
x'y'z
x'yz'
x'yz
xy'z'
xy'z
xyz'
xyz

Designaci6n
mo
ml
m2
m3

m4
ms
m6
m7

Maxterminos
Termino

x+y+z
x + y + z'
x + y' + Z
x + y' + z'
x' + y + Z
x' + y + z'
x' + y' + Z
x' + y' + z'

Designaci6n

Mo
M1
M2
M3
M4
Ms
M6
M7
49

Mapas de Karnaugh
El mapa de Karnaugh es un mtodo grfico que se utiliza para simplificar una ecuacin lgica para
convertir una tabla de verdad a su circuito lgico correspondiente en un proceso simple y ordenado.
Aunque un mapa de Karnaugh (que de aqu en adelante se abreviar como mapa K) se puede utilizar para
resolver problemas con cualquier numero de variables de entrada, su utilidad practica se limita a seis

39 de 83

variables. El siguiente anlisis se limitara a problemas de hasta cuatro entradas , ya que los problemas con
cinco y seis entradas son demasiado complicados y se resuelven mejor con un programa de computadora.
Formato del mapa de Karnaugh. El mapa K, al igual que una tabla de verdad, es un medio para demostrar
la relacin entre las entradas lgicas y la salida que se busca. En la siguiente figura se muestran ejemplos
de mapas K para dos, tres y cuatro variables, junto con las tablas de verdad correspondientes. Estos
ejemplos ilustran varios puntos importantes:
1. La tabla de verdad da el valor de la salida X para cada combinacin de valores de entrada. El
mapa K proporciona la misma informacin en un formato diferente. Cada caso en la tabla de
verdad corresponde a un cuadrado en el mapa.
2. Los cuadrados del mapa K se marcan de modo que los cuadrados horizontalmente adyacentes
slo difieran en una variable.

3. A fin de que los cuadrados que son adyacentes tanto vertical como horizontalmente difieran en
una sola variable, el marcado de arriba hacia abajo debe hacerse en el orden indicado: A'B', A' B,
AB, AB'. Lo anterior tambin es vlido para el marcado de izquierda a derecha.
4. Una vez que el mapa K se ha llenado con ceros y unos, la expresin de suma de productos para
la salida X se puede obtener operando con OR aquellos que contienen un 1.

40 de 83

Agrupamiento
La expresin de salida X se puede simplificar adecuadamente combinando los cuadros en el mapa K que
contengan 1. El proceso para combinar estos unos se denomina agrupamiento.
Agrupamiento de grupos de dos (pares)
El agrupamiento de un par de unos adyacentes en un mapa K elimina la variable que aparece en forma
complementada y no complementada.

41 de 83

Ejemplos de agrupamientos de dos 1s:

Agrupamiento de grupos de cuatro (cudruples)


El agrupamiento cudruple de unos elimina las dos variables que aparecen en la forma complementada y
no complementada.
Ejemplos de agrupamientos de cuatro 1s :

42 de 83

Agrupamiento de grupos de ocho (octetos)


Un grupo de ocho unos que son adyacentes entre s se denomina octeto. El agrupamiento de un octeto de
unos elimina las tres variables que aparecen en forma complementada y no complementada.

43 de 83

Ejemplos de agrupamientos de ocho 1s :

El procedimiento para la simplificacin de una funcin lgica mediante el mtodo de Mapas K puede
llevarse a cabo siguiendo las siguientes etapas:
1. Construya el Mapa K y coloque unos en aquellos cuadrados correspondientes a los unos de la
tabla de verdad. Coloque ceros en los cuadrados restantes.
2. Examine el mapa para determinar si hay unos adyacentes y repita aquellos unos que no sean
adyacentes a ningn otro. a estos unos se les llama aislados.
3. A continuacin, busque aquellos unos que solo sean adyacentes a slo otro uno. Repita cualquier
para que contenga dicho uno.

44 de 83

4. Agrupe cualquier cudruple que contenga uno o mas unos que no se hayan repetido an,
asegurndose usar el nmero mnimo de agrupamientos.
5. Agrupe cualquier cudruple que contenga uno o mas unos que no se hayan repetido an,
asegurndose usar el nmero mnimo de agrupamientos.
6. Agrupe cualquier octeto, aunque algunos unos ya hayan sido repetidos.
7. Elimine cualquier grupo que contenga slo unos repetidos, el objetivos es generar el numero
mnimo de grupos y que estos sean lo mas grandes posibles.
8. Forme la suma OR de todos los trminos generados por los agrupamientos.

45 de 83

Mtodo tabular (Quine-McCluskey)


El algoritmo Quine-McCluskey permite la simplificacin de funciones lgicas de cualquier nmero de
variables y es el que se utiliza para disear aplicaciones informticas en las que se necesite obtener
funciones simplificadas.
Mtodollamado
de Quine-McCluskey
Tambin
mtodo tabular, se utiliza para reducir ecuaciones booleanas. El mtodo se divide en dos
Mtodo de Quine-McCluskey
Mtodo de Quine-McCluskey
partes:
encontrar
implicantes primos ypara
obtener
las ecuaciones
a partir
de la tabla de implicantes primos.
Aplicar
mtodo los
de Quine-McCluskey
minimizar
la siguiente
funcin:

Aplicar mtodo de Quine-McCluskey para minimizar la siguiente funcin:

de Quine-McCluskey
paralaminimizar
la siguiente funcin:
Como ejemplo se aplicar elAplicar
mtodomtodo
de Quine-McCluskey
para minimizar
siguiente funcin:
g(a,b,c, d,e, f ) = " (0, 2, 6, 7,8,10,12,14,15, 41)
g(a,b,c,d,e, f ) = "
(0,2,6,7,8,10,12,14,15,41)
6
6

!
!

g(a,b,c, d,e, f ) = " (0, 2, 6, 7,8,10,12,14,15, 41)

Se construye una tabla, similar a la tabla 6de verdad de la funcin, pero considerando slo los
Se construye una tabla, similar a la tabla de verdad de la funcin, pero considerando slo los
Semintrminos.
construye una tabla, similar
a la tabla deuna
verdad
de lasimilar
funcin,apero
considerando
slo los
mintrminos.
Se construye
tabla,
la tabla
de verdad
de mintrminos.
la funcin, pero considerando s
mintrminos. m
abcdef
m
abcdef
!
0
000000
0
000000
m
abcdef
2
000010
2
000010
0
0
00000
6
000110
6
000110
2
000010
7
000111
7
000111
8
001000
6
000110
8
001000
10
001010
7
000111
10
001010
12
001100
8
001000
12
001100
14
001110
10
001010
14
001110
15
001111
12
001100
15
001111
41
101001
14
001110
41
101001

15
001111
41
1 0 1mintrmino:
001
Despus
se
realiza
una
agrupacin
considerando
el
nmero
de
unos
que
contiene
cada
mintrmino:
Despus se realiza una agrupacin considerando el nmero de unos que contiene cada

Despus se realiza una agrupacin considerando el nmero de unos que contiene cada mintrmino:
# unos

abcdef

0
1
1

20
82
68
106
10
12
712
147
14
41
41
15
15

000000001000
010unos
000#
000100
0
0
1
0 0 0 1001000
000010011100
0000111100100
000001111010
0000101211101
100011010110
010011101011
001111

unos
Despus# se
el nmero de unos que contiene cada mintrmi
0 realiza una
0m agrupacin
0a0b0cconsiderando
0d0e0f

m
abcdef
0
000000
2
2
000010
2
8
001000
6
000110
3
10
001010
3
12
001100
4
7
000111
4
3
14
0 0 1 unos.
1 1 0 En la
Los mintrminos del grupo con n unos, se comparan con todos los del grupo con (n+1)
41
1
0
1
Los mintrminos del grupo con n unos, se comparan con todos los del grupo con (n+1) unos. 0 0 1
Loslamintrminos
deldecimal
grupo
con
ndiferencias
unos,diferencias
se comparan
todos
delbinario,
grupo
(n+1)
unos.
representacin
decimal
se buscan
de potencias
de dos;
se busca
la
En
representacin
se buscan
decon
potencias
deen
dos;
en binario,
se busca
4los
15con
0diferencia
0 la
1 1 1 1 en un
En
la
representacin
decimal
se
buscan
diferencias
de
potencias
de
dos;
en
binario,
se
busca
lapor dos
diferencia
en
un
bit.
Puede
formarse
la
siguiente
tabla,
que
contiene
los
implicantes
formados
bit.diferencia
Puede formarse
la siguiente
tabla, que
contiene tabla,
los implicantes
formados
por dos mintrminos:
en un bit.
Puede formarse
la siguiente
que contiene
los implicantes
formados por dos
mintrminos:
mintrminos:
# unos
m
# unos
0
0m
0
20
1
82
1
68
46 de 283
106
2
10
12
712
3
147

Los mintrminos del grupo con n unos, se comparan con todos los del grupo con (n+1) unos.

a b cEn
d e f representacin decimal se
grupo
a b c d e f de potencias de dos; en binario, se busca la
buscan diferencias
c0d0la
e0f
grupo
a0b0c0d-e0f
!
0,2
0
0a0b0diferencia
en
la siguiente
tabla, que contiene los implicantes formados p
! un bit. Puede formarse
0,2
0
0
0
0
0
0
0
!
0,8
0 00-0000-00
0 0 0mintrminos:
010
!
0,8
!
00000- -01000
2,6
000010000100
!
2,6
0
0
1
0
0
0
!
0000-00-1100
2,10
0 0 0#1unos
10
m
a
b
c
d
e
f
grupo
abcdef
!
2,10
!
00001- 00 -100
0000100110100
8,10
!
0,2
0
000-0
0
0
0
0
0
0
0
!
0
0
1
0
0
8,10
!
001-00
000011100100
8,12
!
0,8
0
0-000
2
0
0
0
0
1
0
8,12
!!
0000011111010
0000011- 10 -0
6,7
!
0
00-10
2,6
0 0 1 0 0 0 6,7
!! 8
000010111101
0000-011110-

Los mintrminos del grupo con n unos, se comparan con todos los del grupo con (n+1) unos.
En la representacin decimal se buscan diferencias de potencias de dos; en binario, se busca la
diferencia en un bit. Puede formarse la siguiente tabla, que contiene los implicantes formados por dos
mintrminos:
# unos
0
1
2

3
4

m
0
2
8
6
10
12
7
14
41
15

abcdef
000000
000010
001000
000110
001010
001100
000111
001110
101001
001111

!
!
!
!
!
!
!
!
!

grupo
0,2
0,8

2,6
2,10
8,10
8,12
6,7
6,14
10,14
12,14
7,15
14,15

abcdef
0000-0
00-000
000-10
00-010
0010-0
001-00
0001100-110
001-10
0011-0
00-111
00111-

Se coloca un smbolo - en la posicin del bit en que difieren ambos nmeros. A medida que se forma la
segunda tabla, se van marcando los mintrminos utilizados en la primera tabla
Se el
coloca
un smbolo
en la posicin
bit ennoque
difieren
ambos con
nmeros.
medida
que se forma
En
ejemplo
no queda-marcado
el 41, del
ya que
puede
agruparse
ningnA otro
mintrmino;
en este
la segunda tabla, se van marcando los mintrminos utilizados en la primera tabla

caso el mintrmino 41 es implicante primo esencial.

En elformar
ejemplola no
queda tabla,
marcado
41, ya que grupos
no puede
con ningn otro
en este de
Para
tercera
queel contendr
deagruparse
cuatro mintrminos;
se mintrmino;
buscan diferencias
caso el mintrmino 41 es implicante primo esencial.

potencias de dos entre grupos adyacentes, pero adems deben tener igual diferencia (o posicin de
Para formar la tercera tabla, que contendr grupos de cuatro mintrminos; se buscan diferencias de

variable
eliminada).
Por grupos
ejemploadyacentes,
la componente
grupodeben
0,2 es
necesario
compararla
solamentedecon
potencias
de dos entre
pero del
adems
tener
igual diferencia
(o posicin
variable eliminada). Por ejemplo la componente del grupo 0,2 es necesario compararla solamente con
8,10
del segundo grupo, debido a la diferencia comn.
8,10 del segundo grupo, debido a la diferencia comn.

No importa el orden de las listas de mintrminos, slo se anotan una vez. Por ejemplo, entre los primeros
No importa el orden de las listas de mintrminos, slo se anotan una vez. Por ejemplo, entre los

grupos
se grupos
tiene: se tiene:
primeros

Diferencia:

0, 2
8, 10
8, 8

(2)
(2)
generando: 0, 2, 8, 10 (2,8)

Diferencia:

0, 8
2, 10
2, 2

(8)
(8)
generando: 0, 8, 2, 10 (8,2)

Estas dos agrupaciones se consideran iguales. Desarrollando en forma similar, se genera la siguiente
tabla:

Estas dos agrupaciones se consideran iguales. Desarrollando en forma similar, se genera la siguiente tabla:
grupo
0,2
0,8

2,6
2,10
8,10
8,12
6,7
6,14
10,14
12,14
47 de 83
7,15
14,15

abcdef
0000-0
00-000
000-10
00-010
0010-0
001-00
0001100-110
001-10
0011-0
00-111
00111-

!
!
!
!
!
!
!
!
!
!
!
!

grupo
0, 2, 8, 10
2, 6, 10, 14
8, 10,12,14
6, 7, 14, 15

abcdef
00-0-0
00--10
001--0
00-11-

0, 8
(8)
2, 10
(8)
(8)
Diferencia:
2, 0,2 8
generando:
0, 8, 2, 10 (8,2)
grupo
abcdef
2, 10
(8)
!
0,2
0 0 agrupaciones
00-0
a bsec genera
d e f la siguiente
Diferencia:
2
generando:
0, 8, 2, grupo
10 en
(8,2)
Estas
dos
se2,consideran
iguales.
Desarrollando
forma similar,
!
0,8
00-0-0
0, 2, 8, 10
tabla: 0 0 - 0 0 0
! consideran iguales. Desarrollando en forma similar, se genera la siguiente
Estas
se
0 0dos
0 -agrupaciones
10
2,6
00--10
2, 6, 10, 14
tabla:
grupo
a
b
c
d
e
f
!
00-010
001--0
2,10
8, 10,12,14
!
0,2
0000-0
grupo
abcdef
!
0 0 1 0 -000a-b0 c0d0e f
6,0,7,
!
8,10
grupo
0,8
0 0 0- 00--01 1 2, 14,
8, 1015
!
!
!
0 0 1 - 0000000-0100- 0
grupo
2,60,2
0 0a-b- c1 d0 e f
8,12
2, 6, 10,
14
! !
0,8
0
0
0
0
0
!
0
0
0
1
0
0,
2,
8,
10
0 0010---00- 0
2,10
8,
10,12,14
000116,7
01000--01 0! ! !
2,6
2, 14,
6, 10,
14
0 00-01-1- -1 0
0
0
6,
7,
15
8,10
0 0 - 1 1 00 0 - 0 1 0
6,14
!
!
001--0
2,10
8,
10,12,14
0
0
1
0
0
8,12
0 0 1 - 1 00 0 1 0 - 0! ! !
10,14
00-116,
7,
14,
15
8,10
000116,7
!
!
0
0
1
1
0
0
0
1
0
0
!
12,14
8,12
00-110
6,14
6,7
0 0 - 1 1010010-01101 -! ! !
7,15
10,14
!
6,14
0 0 1 1 10 -00101- -101 0! ! !
14,15 12,14
!
10,14
0 00-0111-11 0
7,15
! !
0
0
1
1
0
12,14
0
0
1
1
1
14,15
De este modo
quedan
marcados
todos
los
! grupos de la segunda lista.
00-111
7,15
!
0 0marcados
1marcados
1 1 - todos
14,15
DeDe
este
modo
este
modoquedan
quedan
todoslos
losgrupos
gruposde
delalasegunda
segunda lista.
lista.

tabla:

Ntese que, en la tabla anterior, no hay diferencias comunes entre grupos, por lo tanto, no puede
formarse una
Ntese
que,
en tabla.
la
tabla marcados
anterior, todos
no hay
comunes
Desiguiente
este
modo
quedan
losdiferencias
grupos de la
segundaentre
lista. grupos, por lo tanto, no puede
formarse
tabla. no hay diferencias comunes entre grupos, por lo tanto, no puede formarse
Ntese
que,una
en siguiente
la tabla anterior,

Ntese que, Primos


en la tabla anterior, no hay diferencias comunes entre grupos, por lo tanto, no puede
Tabla de Implicantes
Tabla
de Implicantes
Primos
formarse
una siguiente
tabla.
una
siguiente
tabla.

implicante
implicante
primo
esencial
primo esencial
XX
X X XX
si
X
si
implicante
8,X10
0, 2, 8, 100, 2, grupo
0
2
6
7
8
10
12
14
15
41
primo
esencial
X
X
X
X
no
2,
6,
10,
14
X
X
X
X
no
2, 6, 10, 14
X
X
0, 2, 8, 10
X
si si si
8, 10,12,14
X X X XX X XX
X
8, 10,12,14
X XX X
X
2, 14,
6, 10,
XX X
si no
6, 7,
15 14
X
X
X X
si
6, 7, 14, 15 8,41
X
X
X XX
10,12,14
si si
X
41
X
X
X
X
si si
6, 7, 14, 15
X
si
41
Removiendo los implicantes primos esenciales, la funcin mnima queda:
grupo

Tabla
Primos
0 de Implicantes
20
grupo
26
67 7 8 8

1010

12
12

14
14

1515 41 41

Removiendo
los implicantes
primos
funcin
mnima
queda:
Removiendo
los implicantes
primosesenciales,
esenciales, la
la funcin
mnima
queda:
f + abd
f + abc fmnima
+ abde queda:
g = abcde
Removiendo los implicantes primos
esenciales,
la funcin

f + abd
f + fabc
f +f +abde
g = abcde
g = abcde
f + abd
+ abc
abde
!

Ejercicios Propuestos:
1. Simplifique las siguientes expresiones utilizando el lgebra booleana
a.

x = ABC + AC

b.

y = (Q + R)(Q + R)

c.

w = ABC + ABC + A

d.

q = RST (R + S + T )

e.

x = ABC + ABC + ABC + ABC + ABC

f.

z = (B + C)(B + C) + A + B + C

83
48 de

g.

y = (C + D) + AC D + ABC + ABCD + AC D

h.

x = AB(CD) + ABC + BC D

2. Simplifique el circuito de la siguiente figura usando el lgebra booleana.

3. Cambie cada una de las compuertas NAND del problema 2 por una compuerta NOR y simplifique el
circuito usando lgebra booleana.
4. Simplifique la expresin x = ABC + ABC + ABC + ABC + ABC usando el mapa K (mapa de
Karnaugh)
5. Simplifique la expresin
y = (C + D) + AC D + ABC + ABCD + AC D usando el mapa K.

6. Simplifique la expresin x = D + ABC + AC usando un mapa K.


7. Determine las
expresiones mnimas para cada mapa K de la siguiente figura.

8. La siguiente figura muestra un contador BCD que produce una salida de cuatro bitoque representa el
cdigo BCD para el nmero de pulsos que se han aplicado a la entrada del contador. Por ejemplo,
despus de cuatro pulsos, las salidas del contador son DCBA = 1000 2 = 410 . El contador se reajusta a
0000 despus del dcimo pulso y comienza a contar de nuevo. En otras palabras, las salidas DCBA

nunca representarn un nmero mayor a 1001


2 = 910 . Disee un circuito lgico que produzca una

salida en ALTO cada vez que el valor de la cuenta sea 2 , 3 o 9 . Utilice un mapade Karnaugh y
aproveche las condiciones no importa.

49 de 83

Contador

Circuito
lgico

BCD

ALTO slo cuando

9. La siguiente figura muestra cuatro interruptores que son parte de la circuitera de control de una
mquina copiadora. Los interruptores se encuentran en distintos puntos a lo largo del camino que
recorre el papel dentro de la mquina. Cada interruptor est normalmente abierto y, cuando el papel
pasa sobre el interruptor, ste se cierra. Es imposible que los interruptores SW1 y SW4 se cierren al
mismo tiempo. Disee un circuito lgico que genere una salida en ALTO cada vez que dos o ms
interruptores estn cerrados al mismo tiempo. Utilice un mapa K y aproveche las ventajas que ofrecen
las condiciones no importa.

ALTO siempre que


dos o ms interruptores
estn cerrados *

Circuito
lgico

* SW1 y SW2 nunca estarn


cerrados al mismo tiempo

21. Utilizando el mtodo tabular (QuineMcCluskey) simplifique las siguientes expresiones,


a.

f (X,Y,Z) = (2,3,4,5)

b.

g(a,b,c,d) = (0,1,4,5,12,13)
4

22. Utilizando el mtodo tabular (QuineMcCluskey) obtenga el circuito lgico que determine si un nmero

de 6 bits es mltiplo de 3 o 5.

23. Utilizando el mtodo tabular (QuineMcCluskey) obtenga la ecuacin lgica que determine si un
nmero A es mayor que un nmero B, ambos de 3 bits.

50 de 83

Vous aimerez peut-être aussi