ALGEBRA BOOLEANA

Un sistema axiomtico es una coleccin de conocimientos ordenados jerrquica-mente

mediante reglas o leyes lgicas aplicadas a un nmero limitado de conceptos o principios
bsicos.
Un sistema axiomtico se compone de:
TR!"#$ %R!!T!&#$: "o se de'inen
()*!"!+!#")$: +onceptos que se crean mediante conecti,os lgicos de los
t-rminos primiti,os
./!#.$: %roposiciones no demostrables que se establecen como ciertas0 son las
nociones 'undamentales de la teor1a.
T)#R).$: 2eyes que se demuestran aplicando los axiomas0 se deri,an de los
axiomas.
Un sistema axiomtico 3!)" *#RU2.(# satis'ace:
+#"$!$T)"+!. 2#4!+.. +arece de proposiciones contradictorias
!"()%)"()"+!. () $U$ ./!#.$: ninguno de sus axiomas puede deducirse de
los otros axiomas.
+#%2)T!TU(: posee el nmero su'iciente y necesario de enunciados lgicos que
garanticen que toda proposicin que se in'iera de la teor1a es consecuencia lgica
de los axiomas.
ALGEBRA BOOLEANA (ALGEBRA LOGICA)
)s un sistema axiomtico que debe su nombre a 4eorge 3oole quien a mediados del siglo
/!/ desarroll una teor1a lgica que utili5aba s1mbolos en lugar de palabras. +laude ).
$6annon0 casi un siglo despu-s 789:;< la aplic a la teor1a de circuitos lgicos.
Un LGEBRA DE BOOLE es un sistema de elementos B=>?08@ y los operadores
binarios: A0 B0 y0 C
#perador + se le llama #perador #R
#perador se le llama #perador ."(
#%)R.(#R se le llama #perador "#T
VARIABLES CONS!AN!ES BOOLEANAS
Una ,ariable booleana representa cada uno de los dos estados posibles que puede
adoptar las ,ariable. 2as ,ariables booleanas son s1mbolos utili5ados para representar
magnitudes lgicas y pueden tener slo dos ,alores posibles:
8
1 ,alor alto acti,ado si cerrado

0 ,alor bajo desacti,ado no abierto
! $e corresponden con seDales de entrada0 de salida o intermedias.
! $e representan mediante caracteres al'ab-ticos ...0 .3.0 ./....
! %ueden tomar dos ,alores 7? 8<.
! $e denomina literal a una ,ariable o a su complemento x0 xE
O"ERACIONES DEL ALGEBRA BOOLEANA CO#"$ER!AS BSICAS
S$#A LOGICA (OR)
+ % &
% ? 8
& 8 8
Smbolo lgico para la compuerta OR
"ROD$C!O LOGICO (AND)
' % &
% ? ?
& ? 8
Smbolo lgico para la compuerta AND
INVERSION LOGICA (NO!)
' x' o x
% 8
& ?
Smbolo lgico para la compuerta NOT
"OS!$LADOS DEL ALGEBRA BOOLEANA
Un algebra booleana es un sistema algebraico de'inido sobre un conjunto 3 con al menos
dos elementos0 y dos operaciones de'inidas : suma 7operacin #R< y producto 7operacin
."(< y que satis'ace las siguientes propiedades:
%8.ELE#EN!OS NE$!ROS: )xisten en 30 el elemento neutro de la suma 7?< y el
elemento neutro de la multiplicacin 78< tales que para todo x en 3
a< xB? = x b< x.8 =x
%F.CON#$!A!IVAS: %ara todo elemento x en 3
F
a< xBy = yBx b< xy=yx
%:.ASOCIA!IVAS: para todo x0 y0 5 en 3
a< xB7yB5<=7xBy<B5
b< x7y5<=7xy<5
%G.DIS!RIB$!IVAS: para todo x0 y0 5 en 3
a< xB7y5<=7xBy<7xB5<
b< x7yB5<=xyBx5
%H.CO#"LE#EN!OS 7 o in,ersin lgica<: para cada x en 3 existe un nico elemento
x o xE llamado el complemento de x tal que
a< x B xE = 8 b< xxE=?
"RINCI"IO DE D$ALIDAD
(os expresiones booleanas se dicen duales una de la otra0 si una se puede obtener de la
otra cambiando las operaciones B por I y ,ice,ersa y cambiando cero por uno
:
+ualquier teorema o identidad algebraica deducible de los postulados anteriores puede
trans'ormarse en un segundo teorema o identidad ,lida sin mas que intercambiar 7B<
por 7A< y 8 por ?.
)jemplos
E'()esi*n E'()esi*n Dual
xBy = 8 xIy = ?
/I?=? xB8=8
"RO"IEDADES DEL ALGEBRA BOOLEANA
!eo)ema &+ Le,es de idem(oten-ia+ %ara todo x en 30 xIx=x 0y0 xBx=x
xB , xx=x Dual. xB , xx=x
xI8=x %ostulado 8b< xB?=x %ostulado 8a<
xI7xBxE<=x %ostulado Ha< xB7xIxE<=x %ostulado Hb<
xIxBxIxE=x %ostulado Ga< 7xBx<I7xBxE< =x %ostulado Ga<
xIxB?=x %ostulado Hb< 7xBx<I8=x %ostulado Ha<
xIx=x %ostulado 8a< xBx=x %ostulado 8b<

!eo)ema /+ Le,es de a-ota-i*n. %ara todo x en 30 xI?=? 0y0 xB8=8
xB , x0=0 Dual. xB , x1=1
xI?=xI?B? %ostulado 8a< xB8=7xB8<I8 %ostulado 8b<
xB8=8I7xB8< %ostulado Fb<
xI?=xI?BxIxE %ostulado Hb< xB8=7xBxE<7xB8< %ostulado Ha<
xI?=x7?BxE< %ostulado Gb< xB8=xB7xEI8< %ostulado Ha<
xI?=xIxE %ostulado 8a< xB8= xBxE %ostulado 8b<
/I?=? %ostulado Hb< xB8=8 %ostulado 8a<
G
LEES DEL ALGEBRA BOOLEANA S$S LEES D$ALES
NO#BRE LE LE D$AL
odulati,a
xB?=x xI8=x
+omplemento
xBxE=8 xIxE=?
!dempotencia
xBx=x xIx=x
.cotacin
/B8=8 /I?=?
.bsorcin
xBxIy=x xI7xBy<=x
x B xC y = xBy xI7xC By< =xIy
!n,olucin
7xE<E=x 7?E<E=? 78E<E=8
(Eorgan 7xBy<E = xE I yE 7xIy<E = xEByE
H
NO#BRE LE LE D$AL
O E0CL$SIVA (0OR) xy=xEyxyE
' , ',
? ? ?
? 8 8
8 ? 8
8 8 ?
Smbolo lgico para la compuerta XOR
+on base en las equi,alencias lgicas pueden de'inirse las compuertas bsicas en
t-rminos de sumas o productos
a< 7xIy<E = xEByE
+ompuerta ."(
b< 7xEByE<E = xIy
+ompuerta #R
c< 7xIy<E = xE B yE
+ompuerta "."(
d< 7x B y<E = xEIyE
+ompuerta "#R
e< 7xy<E = 7xEBy<I7xByE< = xIy B xC IyC
+ompuerta /"#R
J
O!RAS "RO"IEDADES
a< 7xIy<B7xE I 5<B7yI5<=7x I y< B 7xE I 5<
b< 7x B y<I 7xE B 5< I 7yB5< = 7xBy< I 7xE B5<
c< 7x I y< B7xIyEI5 < = xIy B xI5
d< 7x B y< I7xByEB5< = 7xBy< I7 x B5<
1un-iones de Conmuta-i*n
Kallar la 'uncin y simpli'icar el circuito
*7x0y05< = 7xEB5E< 7xEy BxE5< By5E 7 5EB5Ex<
*7x0y05< = 7xEB5E< 7xEy BxE5< By5E 7 5E78Bx<<
*7x0y05< = 7xEB5E< 7xEy BxE5< By5E5E8
*7x0y05< = 7xEB5E< 7xEy BxE5< By5E
*7x0y05< = xE 7xEy BxE5<B5E7xEy BxE5< By5E
*7x0y05<=xExEyBBxExE5BxEy5EBxE55E B y5E
*7x0y05<= xEyBBxE5BxEy5EBxE55E B y5E
*7x0y5<= xEyBBxE5BxEy5EBxE? B y5E
*7x0y05<=xEyBxE5BxEy5EBy5E
*7x0y05<=xEyBxE5B7xEB8<y5E
*7x0y05<=xEyBxE5By5E
*7x0y05<= y5EBxE5
L
E2ERCICIOS
&+ #btener la expresin 3ooleana correspondiente a los siguientes circuitos lgicos:
a<
b<
c<
F. $impli'icar las siguientes expresiones
a< xy'yz'' b< [xy'x'y'' ]
c< MxE7yEB5E<NE d< 7xBy<7xEByE<
:. #btener el diagrama lgico equi,alente de la expresin
a< 7xBy<7xEByE< b< 7xEBy<7xByE<
c< xEyE B xy d< xyEBxEy
;
SI#"LI1ICACI3N DE 1$NCIONES BOOLEANAS
$i x0 y0 5 ... son ,ariables lgicas0 cualquier combinacin de ellas mediante las
operaciones lgicas de suma0 producto o complementacin se denomina expresin
booleana. . cada expresin booleana se le asocia una 'uncin booleana.
1$NCIONES DE CON#$!ACI3N. Una ,ariable binaria es una ,ariable discreta que
puede asumir slo dos ,alores. Una 'uncin de conmutacin de una o ms ,ariables0 es
una ,ariable binaria cuyo ,alor depende de los ,alores de las ,ariables de conmutacin.
)l s1mbolo ' se emplea para denotar una 'uncin de conmutacin: ' = '7x0 y0 50...<O las
,ariables x0 y0 50..0 son ,ariables independientes0 mientras ' es una 'uncin dependiente.
)jemplos
8. '7x<=xBxE
)n este caso el dominio de la 'uncin es el conjunto >?08@ y el rango de la 'uncin es
tambi-n el conjunto >?08@ .
%odemos calcular el ,alor de
la 'uncin en casa uno de los
puntos del conjunto de
salida
'7?<= ?B?E = ?B8 =8
'78<= 8B8E = 8B? =8
2a tabla de ,erdad de la
'uncin es:
x '
? 8
8 8
%odemos representarla
utili5ando un diagrama
sagital
2a 'uncin puede simpli'icarse como '7x<=8
F. '7x0y<= xyEBxEyE
)n este caso el dominio de la 'uncin es el conjunto de parejas ordenadas >7?0?<07?08<0
780?< 0 7808< @ y el rango de la 'uncin es el conjunto >?08@ .
%odemos calcular el ,alor
de la 'uncin en cada uno
de los puntos del
conjunto de salida
'7?0?< = ?.8B8.8 = 8
'7?08< = ?.?B8.? = ?
'780?< = 8.8B?.8 = 8
'7808< = 8.?B?.? = ?
2a tabla de ,erdad
de la 'uncin es:
x y '
? ? 8
? 8 ?
8 ? 8
8 8 ?
%odemos representarla
utili5ando un diagrama
sagital
9
$upongamos que tenemos la tabla de ,erdad de la 'uncin dada en el segundo ejemplo y
queremos encontrar la 'uncin correspondiente y reducirla a una expresin ms sencilla
7si es posible<. Tenemos dos opciones:
#%+!P" 8: +onsideramos unicamente las columnas de la tabla donde el ,alor de la
'uncin es 8.
x y '
? ? 8
8 ? 8
.pro,ec6amos que 8.8=8 y 8B8=8
)xpresamos cada 8 de las 'ilas como producto de unos0 empleando las
,ariables originales o su complemento
)n la primera 'ila x=? y y=?. %ara expresar 8 como producto de las ,ariables
escribimos xE yE
)n la segunda 'ila x=8 y y=?. %ara expresar 8 como producto de las ,ariables
escribimos x yE
$umando las dos expresiones se obtiene '7x0y<= xE yE B x yE
Utili5amos las leyes y propiedades del algebra booleana para simpli'icar la expresin
'7x0y<= xE yE B x yE
'7x0y<= 7xE B x< yE 7(istributi,a del producto respecto a la suma<
'7x0y< = 8yE
'7x0y<= yE
$e puede ,eri'icar que el ,alor de la 'uncin '7x0y<= yE en los dems puntos del dominio
es ?
#%+!P" F: +onsideramos unicamente las columnas de la tabla donde el ,alor de la
'uncin es ?.
x y '
? 8 8
8 8 8
.pro,ec6amos que ?B?=? y ?.?=?
)xpresamos cada ? de las 'ilas como suma de ceros0 empleando las ,ariables
originales o su complemento
)n la primera 'ila x=? y y=8. %ara expresar ? como suma de las ,ariables
escribimos x B yE
)n la segunda 'ila x=8 y y=8. %ara expresar ? como suma de las ,ariables
escribimos xEB yE
ultiplicando las dos expresiones se obtiene '7x0y<= 7xByE<7xEByE<
Utili5amos las leyes y propiedades del algebra booleana para simpli'icar la expresin
'7x0y<= 7xByE<7xEByE<
'7x0y<= x7xE B yE<B yE7xE ByE< 7(istributi,a del producto respecto a la suma<
'7x0y< = xxE B xyE B xEyE ByEyE
'7x0y< = ? B7x B xE<yE B yE
'7x0y<= yE ByE
'7x0y< = yE
$e puede ,eri'icar que el ,alor de la 'uncin '7x0y<= yE en los dems puntos del dominio
8?
es 8
(adas n ,ariables lgicas la tabla de la 'uncin tiene 2
n
casillas y se pueden de'inir
2
2
n
'unciones distintas. )n el caso de n=F existen
2
2
2
'unciones distintas0 para n=:
existen
2
2
3
=2
8
=256
'unciones distintas.
%ara n=F si miramos las distintas opciones de la tabla podemos asociar a cada 'uncin
una cadena de G bits y de acuerdo con su representacin en la base decimal se le asocia
el sub1ndice. )n la tabla 8 se obser,an todas las 'unciones de dos ,ariables.
1$NCIONES L3GICAS DE DOS VARIABLES
E'()esiones e4ui5alentes , -om(ue)tas
' % % & &
, % & % &
1un-i*n
L*6i-a
E'()esi*n
E4ui5alente
Ot)a
e'()esi*n
Com(ue)tas
Nom7)e S8m7olo
*? ? ? ? ? xxE ?
*8 ? ? ? 8 xy 7xEByE<E ."(
*F ? ? 8 ? xyE 7xEBy<E 7x y<E
*: ? ? 8 8 x x
*G ? 8 ? ? xEy 7xByE<E 7y x<E
*H ? 8 ? 8 y y
*J ? 8 8 ? xEyBxyE xy 7xy<E /#R
*L ? 8 8 8 xBy 7xEyE<E #R
*; 8 ? ? ? 7xBy<E xEyE "#R
*9 8 ? ? 8 xEyEBxy 7xy<E xy /"#R
*8? 8 ? 8 ? yE yE
*88 8 ? 8 8 xByE 7xEy<E y x
*8F 8 8 ? ? xE xE "#T
*8: 8 8 ? 8 xEBy 7xyE<E x y
*8G 8 8 8 ? 7xy<E xE ByE "."(
*8H 8 8 8 8 yByE 8
88
)n la tabla se obser,a que dos 'unciones de dos ,ariables son complementarias si iBj=8H
F'
i
=F
j
si y solo si iBj=8H
")o(iedades de la o(e)a-i*n 0OR
8. +onmutati,a xy = yx
F. .sociati,a x7y5< = 7xy<5
:. (istributi,a de la operacin ."(
con respecto a la operacin /#R x.7y5< = 7x.y<7x.5<
)jemplo 8: )scribir y simpli'icar la 'uncin booleana cuya tabla de ,erdad es:
' , 9 :(';,;9)
? ? ? 8 xEyE5E
? ? 8 ?
? 8 ? 8 xEy5E
? 8 8 ?
8 ? ? ?
8 ? 8 8 xyE5
8 8 ? ?
8 8 8 8 xy5
+onsideramos las 'ilas cuyo resultado es uno0 y lo expresamos como producto de las
,ariables o de su complemento
)scribimos la 'uncin de'inida como la suma de los productos
'7x0y05< = xEyE5EB xEy5E B xyE5 B xy5
Kaciendo uso de las propiedades de las operaciones booleanas se simpli'ica la expresin
obtenida
'7x0y05< = 7 xE5EyEB xE5yE< B 7x5yE B x5y< .sociati,a de la B y conmutati,a de la .
'7x0y05< = xE5E 7yEBy< B x5 7yByE< (istributi,a
'7x0y05< = xE5E Bx5 +omplemento
'7x0y< = x 5
)s sencillo ,eri'icar que el ,alor de la 'uncin es cero en las otras casillas de la tabla
8F
F. $i consideramos las 'ilas de ceros y expresamos cada cero como suma de las ,ariables
o sus complementos se obtiene:
? ? 8 ? 8 8 8 ? ? 8 8 ?
x B y B 5E x B yE B 5E xE By B 5 xEB yE B 5
)scribimos la 'uncin ' como el producto de las sumas de ceros
'7x0y05< = 7x B y B 5E<7 x B yE B 5E<7xE B y B 5<7xEB yE B 5<
= 7x B 5E B y E<7 x B 5E B yE< 7xE B 5 B y <7xE B 5 B yE<
= 7x B 5E B yyE< 7xE B 5 B yyE<
= 7xB 5E<7xE B5<
= xxE B x5 B xE5E B55E
= x5 B xE5E
= x 5
)sta 'uncin es la misma que se 6ab1a obtenido antes.
1OR#AS NOR#ALES DE LAS 1$NCIONES BOOLEANAS

#IN!<R#INO (mi): t-rmino producto en el que aparecen todas las ,ariables0 ya sean
complementadas o sin complementar. Un mint-rmino es un t-rmino producto que es 8
exactamente en una l1nea de la tabla de &erdad.
#A0!<R#INO (#i): t-rmino suma en el que aparecen todas las ,ariables0 ya sean
complementadas o sin complementar. Un maxt-rmino es un t-rmino suma que es ?
exactamente en una l1nea de la tabla de ,erdad.
1OR#A NOR#AL DIS$N!IVA O 1OR#A CAN3NICA DIS$N!IVA 7 $uma de
int-rminos o $uma de %roductos< Una 'uncin booleana tiene la 'orma normal
disyunti,a si est escrita como la suma de t-rminos 7de ,alor 8< donde cada t-rmino es
un producto que in,olucra todas las ,ariables complementadas o no
Un mint-rmino es un t-rmino producto que es 8 exactamente en una l1nea de la tabla de
&erdad. 2a 'rmula compuesta por todos los mint-rminos ser id-nticamente 8.
+ada 'rmula de conmutacin puede expresarse como suma de mint-rminos. Q esa
'rmula es nica.
. cada t-rmino de la 'orma normal disyunti,a se le llama t-rmino minimal o mint-rmino
y se denota como
m
i
2a 'orma normal disyunti,a de n ,ariables tiene F
n
t-rminos y se denomina 'orma normal
disyunti,a completa de n ,ariables
*orma NOR#AL DIS$N!IVA CO#"LE!A 7para dos ,ariables<
8:
De- ' , m
i
#int=)mino
? ? ? xEyE 8
8 ? 8 xEy 8
F 8 ? xyE 8
: 8 8 xy 8

'7x0y< = xEyEBxEyB xyE Bxy =8
)jemplo F: Kallar y simpli'icar la 'uncin booleana
De- ' , 9 :(';,;9) #int=)mino
? ? ? ? 8 xEyE5E
8 ? ? 8 ?
F ? 8 ? 8 xEy5E
: ? 8 8 8 xEy5
G 8 ? ? ?
H 8 ? 8 ?
J 8 8 ? ?
L 8 8 8 ?
)n este caso 6ay menos unos que ceros0
utili5amos la 'orma normal disyunti,a.
'7x0y05< = xEyE5E B xEy5E BxEy5
$impli'icando:
'7x0y05< = xEyE5E BxEy75 B 5E<
'7x0y05< = xEyE5E BxEy
1OR#A NOR#AL CON2$N!IVA O 1OR#A CAN3NICA CON2$N!IVA 7 %roducto de
axt-rminos o %roducto de sumas< Una 'uncin booleana tiene la 'orma normal
conjunti,a si est escrita como producto de t-rminos 7de ,alor cero< donde cada t-rmino
es la suma de todas las ,ariables complementadas o no. . cada t-rmino de la 'orma
normal conjunti,a se le llama t-rmino maximal o maxt-rmino y se denota como
M
i
2a 'rmula compuesta por todos los maxt-rminos ser id-nticamente ?. +ada 'rmula
puede expresarse como producto de maxt-rminos. Q es nica
2a 'orma normal disyunti,a de n ,ariables tiene F
n
t-rminos y se denomina 'orma normal
disyunti,a completa de n ,ariables
*orma NOR#AL CON2$N!IVA CO#"LE!A 7para dos ,ariables<
De- ' ,
i
#a't=)mino
% ? ? xBy ?
& ? 8 xByE ?
/ 8 ? xEBy ?
> 8 8 xEByE ?

'7x0y< = 7xBy<7xByE<7xEBy<7xEByE< = ?
8G
#int=)minos , #a't=)minos (a)a > 5a)ia7les
De- ' , 9 #int=)mino #a't=)mino
? ? ? ? m? xC yC 5C ? xByB5
8 ? ? 8 m8 xC yC 5 8 xByB5C
F ? 8 ? mF xC y 5C F xByCB5
: ? 8 8 m: xC y 5 : xByCB5C
G 8 ? ? mG x yC 5C G xCByB5
H 8 ? 8 mH x yC 5 H xC B y B5C
J 8 8 ? mJ x y 5C J xCByCB5
L 8 8 8 mL x y 5 L xCByCB5C
)jemplo :: Kallar y simpli'icar la 'uncin booleana
' , 9 :(';,;9) #a't=)mino
? ? ? 8
? ? 8 8
? 8 ? 8
? 8 8 8
8 ? ? ? xEByB5
8 ? 8 ? xEByB5E
8 8 ? 8
8 8 8 ? xEByEB5E
)n este caso 6ay menos ceros que unos0 utili5amos
la 'orma normal conjunti,a.
'7x0y05< = 7xEByB5<7xEByB5E<7xEByEB5E<
'7x0y05< = 7xEByB5<7xEB5EBy<7xEB5EByE<
'7x0y05< = 7xEByB5<7xEB5EByyE<
'7x0y05< = 7xEByB5<7xEB5E<
'7x0y05< = xEB7xB5<5E
'7x0y05< = xEBy5EB55E
'7x0y05< = xEBy5E
2as 'ormas normales completas permiten de manera sencilla la con,ersin de una 'orma
normal a la otra mediante el empleo de la doble negacin
)jemplo G. Kallar la 'orma normal conjunti,a de la 'uncin
'7x0y05< = xy5 B xy5E B xyE5 B xyE5E B xEy5
)scribimos ' como el complemento del complemento 'E
E
=':
fx, y, z=[ xyzxyz'xy' zxy' z'x' yz
'
]
'
2a primera negacin 7la de adentro< la calculamos con las leyes (Eorgan
fx, y, z=[ x'y 'z' x'y 'zx'yz'x'yz' xy 'z']
'
%ara el segundo complemento0 escribimos los maxt-rminos de : ,ariables que 6acen
'alta 76ay H t-rminos 'altan : t-rminos<
8H
'7x0y05< = 7xByEB5<7xByB5E<7xByB5<
)jemplo H. Kallar la 'orma normal disyunti,a de la 'uncin
'7x0y05< = 7x B yEB5<7xEByB5E<7xByB5E<
fx, y, z=[ xy 'zx'yz' xyz'
'
]
'
+omo en el caso anterior para la negacin interna utili5amos las leyes (Eorgan
fx, y, z=[xy'z 'x'yz''xyz' ']
'
fx, y, z=[x' yz' xy' z x' y' z]
'
%ara la segunda negacin buscamos0 en la 'orma normal disyunti,a completa0 los
mint-rminos que 6acen 'alta 7H mint-rminos<
'7x0y05<= xy5 B xEy5 Bxy5E B xyE5E B xEyE5E
#A"AS DE ?ARNA$G@ (#A"AS ?)
*ueron in,entados en89H? por aurice Rarnaug6 un '1sico y matemtico de los
laboratorios 3ell. 2os mapas de Rarnaug6 es uno de los m-todos ms prcticos. $e
puede decir que es el ms poderoso0 cuando el nmero de ,ariables de entrada es menor
o igual a cincoO ms all0 ya no es tan prctico. )n general0 el mapa de Rarnaug6 se
considera como la 'orma gr'ica de una tabla de ,erdad0o como una extensin del
diagrama de &enn.
(ada una 'uncin de n ,ariables se construyen cajas de F
n
celdas0 es otra 'orma de
representar la tabla de ,erdad de la 'uncin. +ada mint-rmino tiene un lugar asignado
dentro del diagrama de Sarnaug6.
%ara armar cualquier (iagrama de Rarnaug6 los casilleros contiguos ,erticales u
6ori5ontales deben contener mint-rminos adyacentes0 es decir0 donde slo cambie una
,ariable entre uno y otro.
8J
#a(a ? (a)a / 5a)ia7les
'A '
,A
a
0
a
2
,
a
1
a
3
'A '
,A
,
#a(a ? (a)a > 5a)ia7les
'A '
9A
a
0
a
2
a
6
a
4
9
a
1
a
3
a
7
a
5
'A '
9A
9
apa R para G ,ariables
'A '
9A a? aG a8F a; TE
a8 aH a8: a9
9 a: aL a8H a88
aF aJ a8G a8? TE
yE y yE
)n estas direccin se puede bajar el so'tTare para simpli'icar mapas de Rarnuag6:
4Rap
Rarnaug6 ap inimi5er
Uin2ogi2ab
3oolean +alculator: &R0 Trut6 Tables0...
8L
8
?
?
8
xy
5
?? ?8 88 8?
?
8
T
??
??
?8
?8
88
88
8?
8?
8
?
?
8
xy
5
?? ?8 88 8?
?
8
2a ,ariable x est
en toda la columna
sin negar
2a ,ariable y est en
toda la 'ila sin negar