UASLP FI Laboratorio de Sistemas Digitales Prctica 2

Prctica 2
Maxitrminos, minitrminos y tcnicas de reduccin de ecuaciones
2.1 Objetivo
Obtener la funcin lgica en maxitrminos o minitrminos ! mediante tcnicas de s"ntesis encontrar la
funcin lgica reducida#
2.2 Antecedentes
Los sistemas digitales $ueden ser re$resentados mediante tablas de %erdad en la &ue se muestran todos
los cambios &ue afectan a la 'las( salida's( del sistema digital# )n esta tabla estn im$l"citas las
re$resentaciones cannicas del sistema digital* siem$re ! cuando se consideren todos sus estados &ue
modifican en forma in%ersa o directa la salida del sistema# )n esta tabla de %erdad todos los trminos
contenidos en ella se les conocen como trminos cannicos#
Los trminos cannicos a$arecen de dos formas* minitrminos tambin conocidos como +sumas de
$roductos, o una re$resentacin en maxitrminos tambin conocida como +$roductos de suma,# )n la
siguiente ex$resin se re$resenta una funcin lgica en forma de suma de $roductos 'minitrminos( !
$roductos de suma 'maxitrminos( res$ecti%amente#
{ } =
- 2 . / 0 1
-
f m *m *m *m *m
{ } =
- 2 - 3
2
f 4 *4*4
Una %e5 obtenida la funcin cannica* !a sea en maxitrminos 'ecuacin -#-( o minitrminos 'ecuacin
-#2(* el sistema digital $uede ser reali5ado em$leando com$uertas lgicas* sin embargo su funcin de
costo $uede arro6ar un %alor mu! alto de com$uertas lgicas#
Para reducir el n7mero de com$onentes a utili5ar $ara re$resentar f"sicamente el sistema lgico digital es
con%eniente em$lear una serie de $ostulados ! teoremas contenidos en el lgebra de 8oole#
)stos teoremas ! $ostulados* bien utili5ados* $ueden reducir significati%amente la funcin de costo del
sistema# Sin embargo una mala a$licacin de los teoremas* $ueden arro6ar una funcin errnea#
A continuacin se $resentan los $rinci$ales teoremas ! $ostulados del lgebra booleana en la tabla 2#-#
Tabla .1 Princi!ales teoremas y !ostulados del l"ebra booleana.
'a( 'b(
2#-# Postulado de identidad - x x = + 0 = x - x
2#2# Postulado de identidad 2
1 = + x x 2 x x =
2#.# 9eorema de idem$otencia
x x x = + x x x =
2#/# 9eorema de identidad
')lemento identidad(
- - x = + 2 2 x =
2#3# 9eorema de in%olucin
= 'x( x
2#0# Le! :onmutati%a
x y y x + = + !x x! =
2#1# Le! Asociati%a z ) y x ( ) z y ( x + + = + + 5 ( x! ' ( !5 ' x =
2#;# Le! Distributi%a x5 x! ( 5 ! ' x + = + ( 5 x (' ! x ' !5 x + + = +
2#<# 9eorema de De 4organ ! x ( ! x ' = + ! x ( x! ' + =
2#-2# 9eorema de absolucin
x xy x = +
+ = x'x !( x
2#--# 9eorema de m7lti$les %ariables y x y x x + = +
2
UASLP FI Laboratorio de Sistemas Digitales Prctica 2
2.2.1 Teorema de #e Mor"an
Los teoremas de De 4organ son de gran utilidad en la sim$lificacin de ex$resiones en la cual se in%ierte
el $roducto o suma de %ariables#
)l teorema 2#<#'a(* de la tabla 2#-* afirma en condiciones de in%ertir la suma O= de dos %ariables* esta
in%ersin es la misma &ue la de cada %ariable en forma indi%idual ! luego la o$eracin con A>D de estas
%ariables in%ertidas# )l teorema 2#<#'b(* ex$resa &ue* cuando se in%ierte el $roducto A>D de dos
%ariables* esto e&ui%ale a in%ertir cada %ariable en forma indi%idual ! luego o$erarlas con O=#
Otro mtodo de s"ntesis* es la reduccin mediante ma$as de ?arnaug@# )ste mtodo* es com$letamente
grfico &ue elimina el uso de teoremas ! $ostulados siendo ms fcil de mani$ular ! reducir las
ex$resiones a su m"nima reali5acin#
Un ma$a de ?arnaug@ es una re$resentacin en dos dimensiones de las $osibles ad!acencias de
minitrminos ! maxitrminos* de tal forma &ue $ermiten fcilmente la identificacin de las mismas ! su
consecuente agru$acin# )n el ma$a de ?arnaug@ se colocan los "ndices de los minitrminos !
maxitrminos* adems de las %ariables de entrada ! sus %alores $ara cada trmino#
La numeracin de los cuadros en el ma$a de ?arnaug@ es una secuencia de cdigo refle6ado* con slo
cambiar el %alor entre dos renglones ad!acentes o columnas# )n la figura /#- se ilustra la manera como
&uedar"a re$resentado* $ara un circuito digital de cuatro %ariables de entrada em$leando minitrminos#
22 2- -- -2
22 m2 m- m. m2
2- m/ m3 m1 m0
-- m-2 m-. m-3 m-/
-2 m; m< m-- m-2
$i"ura 2.1 %e!resentacin del ma!a de &arnau"'.
La reduccin de la funcin se reali5a a tra%s del agru$amiento de cuadros ad!acentes# Adems* se
considera &ue el ma$a ? tiene ad!acencia en los extremos su$erior e inferior* as" como en las orillas
derec@a e i5&uierda* se tocan uno a otro $ara formar cuadros ad!acentes#
2. (jem!lo de la obtencin de una )uncin l"ica reducida mediante sus )ormas
cannicas y reducindola !artir del uso de !ostulados y teoremas y ma!as de
&arnau"'.
Partiendo de la tabla de %erdad siguiente* obtenga sus re$resentaciones cannicas en suma de
$roductos ! $roductos de suma#
Tabla de verdad *ejem!lo 2.+
x ! 5 f
2 2 2 2
2 2 - 2
2 - 2 -
2 - - -
- 2 2 -
- 2 - 2
- - 2 -
- - - -
.
UASLP FI Laboratorio de Sistemas Digitales Prctica 2
)l siguiente $aso* consiste en identificar los maxitrminos ! minitrminos#
Andice
x ! 5 4initrminos '
m
f
( 4axitrminos '
4
f
(
-
f 'x* !*5( 4initrmino 4axitrmino
2
2 2 2
x ! 5
+ + x ! 5
2
BBBBBB 42
-
2 2 -
x ! 5 + + x ! 5
2
BBBBBB 4-
2
2 - 2
x ! 5 x ! 5 + +
-
m2 BBBBBB
.
2 - -
x ! 5 x ! 5 + +
-
m. BBBBBB
/
- 2 2
x ! 5 x ! 5 + +
-
m/ BBBBBB
3
- 2 -
x ! 5 + + x ! 5
2
BBBBBB 43
0
- - 2
x ! 5 x ! 5 + +
-
m0 BBBBBB
1
- - -
x ! 5
x ! 5 + +
-
m1 BBBBBB
Por lo tanto la re$resentacin cannica de la tabla de %erdad es
a( )n maxitrminos
{ } =
- 2 . / 0 1
-
f m *m *m *m *m

{ } =
-
-
f 2*.*/*0*1
Por lo tanto f- es ( ) ( ) ( ) ( ) ( )
-
f x ! 5 x ! 5 x ! 5 x ! 5 x ! 5 = + + + +
b( )n minitrminos
{ } =
- 2 - 3
2
f 4 *4*4

{ } =
-
2
f 2*-*3
Por lo tanto f- es ( ) ( ) ( )
-
f x ! 5 x ! 5 x ! 5 = + + + + + +
La re$resentacin cannica en minitrminos tiene una funcin de costo ms ele%ada &ue la
re$resentacin en maxitrminos# )s decir* $ara construir un circuito digital &ue re$resente la funcin en
maxitrminos deber contener cinco com$uertas A>D de tres entradas ! una com$uerta O= de cinco
entradas* adems de los in%ersores >O9# )n cambio* la re$resentacin en maxitrminos solo re&uiere de
tres com$uertas O= de tres entradas ! una com$uerta and de tres entradas#
A@ora se $rocede a reducir la ecuacin em$leando los teoremas del algebra de 8oole# 9omando la
funcin en minitrminos* $ara demostrar la utili5acin de los teoremas ! $ostulados
( ) ( ) ( ) ( ) ( )
- 2 . / 0 1
f x ! 5 x ! 5 x ! 5 x ! 5 x ! 5 m m m m m = + + + + = + + + +
)n f- se $uede %er &ue las ad!acencias sonC ( )
2 .
m *m
* ( )
2 0
m *m
* ( )
. 1
m *m
* ( )
/ 0
m *m
! ( )
0 1
m *m
# Por
identidad se tieneC
( ) ( ) ( ) ( ) ( )
2 . 2 0 . 1 / 0 0 1
-
m m m m m m m m m m
f x ! 5 x ! 5 x ! 5 x ! 5 x ! 5 x ! 5 x ! 5 x ! 5 x ! 5 x ! 5
+ + + + +
= + + + + + + + + +
1 4 442 4 4 43 1 4 442 4 4 43 1 4 442 4 4 43 1 4 442 4 4 43 1 4 442 4 4 43 #
Por el $ostulado de asociati%idad* se obtiene
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
-
f 5 5 x ! x x ! 5 x x ! 5 ! ! x 5 5 5 x ! = + + + + + + + + +
Por com$lemento se reduce aC
- - 2 . / 3
f x ! ! 5 ! 5 x 5 x ! $ $ $ $ $ = + + + + = + + + +
La ex$resin anterior a7n contiene ad!acencias ( )
- 3
$ *$
! ( )
2 .
$ *$
lo &ue daC
/
UASLP FI Laboratorio de Sistemas Digitales Prctica 2
( ) ( )
- 3 2 .
- - 2 . / 3
$ $ $ $
f x ! x ! ! 5 ! 5 x 5 $ $ $ $ $
+ +
= + + + + = + + + +
1 442 4 43 1 442 4 43
4ediante el $ostulado asociati%o se tieneC
( ) ( )
-
f x x ! 5 5 ! x 5 = + + + +
Por com$lemento se reduce aC
-
f ! ! x 5 = + +
Por 7ltimo* se em$lea el $ostulado de identidad ! la funcin resultante esC
-
f ! x 5 = +
Por lo tanto la funcin de costo se reduce a dos com$uertas* una A>D de dos entradas ! una O= de
dos entradas#
:omo $uede %erse* este mtodo es de sumo cuidado !a &ue una mala utili5acin de los teoremas o
$ostulados dar como resultado funcin lgica errnea#
4ediante ma$as de ?arnaug@ encontrar la funcin lgica em$leando los minitrminos#
!5
x
22 2- -- -2
2 - -
- - - -
)n el ma$a de ?arnaug@ anterior* solo se muestran los minitrminos# 4ediante ins$eccin
locali5amos las ad!acencias ! las encerramos mediante un la5o
!5
x
22 2- -- -2
2 - -
- - - -

!5
x
22 2- -- -2
2 - -
- - - -

-
f ! x 5 = +
)n el $rimer la5o se $uede notar &ue solamente la %ariable +!, no $resenta cambio alguno ! en el
segundo la5o +x, ! +5, no $resentan cambio alguno#
Por lo tanto la funcin resultante esC
>ote &ue es el mismo ma$a ?* sin embargo se re$resenta de manera inde$endiente $ara e6em$lificar
la obtencin de cada uno de los trminos reducidos de la funcin f-#
:omo $aso final la im$lementacin en com$uertas lgicas# La funcin lgica final re&uiere slo dos
com$uertas lgicas ! un in%ersor# )l circuito final se muestra en la figura 2#-# Los circuitos integrados
em$leados son 1/2/ &ue es la com$uerta >O9* la 1/2; &ue corres$onde a la com$uerta A>D ! la
com$uerta 1/.2#
3
UASLP FI Laboratorio de Sistemas Digitales Prctica 2
$i"ura 2.1 =e$resentacin en com$uertas lgicas de la funcin 'f-( lgica minimi5ada.

2., #esarrollo de la !rctica
Utili5ando 4axitrminos* encuentre la funcin m"nima reali5able ! em$leando el $a&uete de
simulacin CircuitMaker o Electronics Workbench (Multisim) ! arme ! simule el circuito &ue se
obtiene de la funcin#
o -OTA: =ecuerde &ue al utili5ar los maxitrminos* encontrar una funcin &ue est
formada $or $roductos de suma#
0
UASLP FI Laboratorio de Sistemas Digitales Prctica 2
Im$lemente )l circuito simulado ! com$ruebe la salida mediante el mane6o de las entradas
corres$ondientes a cada una de las com$uertas utili5adas ! com$are lo obtenido con su
res$ecti%a tabla de %erdad#
-ota. Antes de em$e5ar a $robar los ex$erimentos* %erifi&ue &ue todo :I est correctamente
montado en la tablilla de $ro!ectos 'Proto board(* &ue est $erfectamente energi5ado ! conexiones a
tierra# )n caso de no estar seguro de lo anterior* $regunte al instructor#
Anote sus conclusiones ! res$onda el cuestionario de la $rctica#
1..1 Material y e.ui!o
Material
:antidad )lemento Descri$cin
- Fuente de 3 D:D Fuente de alimentacin
- 9ablilla de conexiones Para circuitos integrados
- Interru$tor DIP
/ entradas de cambio desli5able
- Diodo )misor de Lu5 )stndar
. =esistencias de -? Para $roteger de un corto circuito el circuito
- =esistencia ..2 Para $roteccin de diodo emisor de lu5#
- 1/LS2/ :ircuito integrado in%ersor
- 1/LS2; :ircuito integrado A>D de dos entradas
- 1/LS.2 :ircuito integrado O= de dos entradas
(.ui!o
:antidad )lemento Descri$cin
- Unidad de cm$uto )&ui$ada con el $rograma Circuit Maker y/o Electronics Workbench.
- Probador lgico de :I Utilidad o$cional $ara com$robar estado de los :I
1., /onclusiones
1.0 /uestionario
-( )m$leando la tabla de %erdad siguiente obtenga lo siguienteC
"ndice x ! 5 f2
2 2 2 2 -
- 2 2 - 2
2 2 - 2 -
. 2 - - 2
/ - 2 2 2
3 - 2 - -
0 - - 2 -
1 - - - 2
a# )ncuentre los maxitrminos ! minitrminos#
b# )m$leando los teoremas del lgebra de 8oole ! la funcin en minitrminos encuentre la
funcin lgica reducida#
c# Utili5ando los ma$as de ?arnaug@ ! 4axitrminos obtenga la funcin lgica reducida#
d# :om$are el n7mero de com$uertas a utili5ar en cada una de las funciones#
1
UASLP FI Laboratorio de Sistemas Digitales Prctica 2
i. E:untas com$uertas se utili5aron en maxitrminosF
ii. E:untas com$uertas se utili5aron en minitrminosF
e# =ealice un dibu6o es&uemtico de cada re$resentacin minimi5ada 'maxitrminos !
minitrminos(#
f# Simule los circuitos obtenidos#
Anexar las simulaciones de los circuitos solicitados
;