Prctica de manipulacin algebraica de funciones booleanas

SISTEMAS LOGICOS I
IGITAL I
PRCTICA DE MANIPULACIN ALGEBRAICA DE FUNCIONES BOOLEANAS
Prctica de manipulacin algebraica de funciones booleanas
Prctica de manip!aci"n a!#e$raica de %nci&ne' $&&!eana'
Se pretende !ue todos los problemas sean resueltos mediante una manipulacin
algebraica" #aciendo uso de las le$es $ teoremas del lgebra de %oole&
PROBLEMA NRO( )*
Simplificar las siguientes funciones booleanas'
a( f)*A+,%+,A%C+
b( f-*A,A+%,A+%+C,A+%+C+
c( f.*/A+,A%C(,/A+,A%C+(,/A,A+%C(
d( f0*A%C,A/%&C(+,A+%C
e( f1* A,%+,A%C+
f( f2*A+%C,A%,%C,A+%+C
g( f3*A++,A+%+,C++,%C
#( f4*A%,%+C,AC+
i( f5*
.
/)"."2"3(
6( f)7*
0
/7")"-"."2")-")0(
8( f))* A+%+C+,A%++,AC+,%+C++,A+%,A%C+,%
l( f)-*A+C+,A+%C+,A%+,%C+,%+C,AC+
m( f).*
0
/)"0"2"))")0(
n( f)0*
0
/7"-"3"4")7")1(
PROBLEMA NRO( +*
Obtener el complemento /o negacin( de cada una de las siguientes funciones lgicas $
despu9s simplificarlas'
a( f)*A+/%+,C+( /A,%,C+(
b( f-*A+,/C+,%,%++( , /C,%+(
c( f.*/A,%+C+( /%,A+C+(/C,A+%+(
d( f0*A,/C+,%,%++(& /C,%+(
e( f1*/A,/%+,C(&/C,A%+((&/%,C+(
f( f2* /%/A,C+(,A+(&/%+,A(
PROBLEMA NRO( ,*
eterminar las condiciones !ue deben cumplir las :ariables booleanas A $ % para !ue se
:erifi!uen las siguientes ecuaciones'
a( A+,A%*7
b( A%*AC
c( A%,%C,A+C*A%,A+C
PROBLEMA NRO( -*
eterminar ambas formas cannicas" e;presadas tanto algebraica como num9ricamente"
de las siguientes funciones lgicas'
a( f)*A/%+,C+(,C
b( f-*A%,A%+C,A+%+
c( f.* A%C+,A%C+,A+%
d( f0*A%,/A,C(%+,A+%+C
e( f1*
.
/7")"."0"1"3(
f( f2*
0
/7")"-".")-")1(
g( f3*/A,%(+ , A+%C, /A&/%,C((+
#( f4*
0
/7"."))")1(
i( f5*A+/%,C(/%+,A(,A%+C
6( f)7*/A+%C,A%++(/C,%(+
PROBLEMA NRO( .*
emostrar !ue las siguientes funciones lgicas son E<=I>ALE?TES'
f)* A%C,A%+,AC+,A+%C
f-* A,%C
PROBLEMA NRO( /*
ada una funcin cu$a e;presin algebraica es' f*/A,%,C(+ +
obtener las e;presiones cannicas num9ricas de suma de productos $ de producto de
sumas&
PROBLEMA NRO( 0*
emostrar las siguientes propiedades de la funcin O@Ae;clusi:a'
a( A %*A+ %+*/A+ %(+*/A %+(+
b( /A %(+*A%,A+%+
c( /A %(+* A %+*A+ %
d( A/% C(*A% AC
e( A )* A+
f( A 7 * A
g( Si' A C*% C " entonces ' A*%
#( Si' A %*7" entonces ' A*%
i( Si' A % C*" entonces' A %* C $ A* % C
6( emostrar si esta identidad es cierta o falsa' A /%,C(*/A %( , /A C(
8( A,%* A % A%
l( =sando la ecuacin 8( cual!uier e;presin puede ser con:ertida en otra e!ui:alente
conteniendo slo las operaciones BO@ $ A?& Transformar la siguiente e;presin de esa
manera'
f*A%C+,A%+C,A+C
PROBLEMA NRO( 1*
Siendo f*
0
/1"2").( $ f)*
0
/7")"-"."1"2"4"5")7"))").( encontrar una funcin f- tal !ue
se :erifi!ue'
f*f)&f-+
S&!ci&ne' a !&' Pr&$!ema'*
.
>eamos un sumario de las le$es $ teoremas del lgebra de %oole !ue usaremos en la
resolucin de los problemas'
?ro&
Orden
?ombre a( Corma O@ b(Corma A?
) Le$ de
IEMPOTE?CIA
A,A*A A&A*A
- E;istencia de
ELEME?TOS
?E=T@OS
/Le$ de Identidad(
A,7*A A&)*A
. Le$ de A?=LACIO?
/Propiedad de los
elementos neutros(
A,)*) A&7*7
0 Le$ CO?M=TATI>A A,%*%,A A&%*%&A
1 Le$ ASOCIATI>A /A,%(,C*A,
/%,C(
/A&%(&C*A&/%&C(
2 Le$ del I?>E@SO A,A+ *) A&A+*7
3 Le$ IST@I%=TI>A A&/%,C(*A&%,AC A,%&C*/A,%(&/A,C(
4 Le$ de A%SO@CIO? A,A&%*A A&/A,%(*A
5 A,/A+&%(*A,% A&/A+,%(*A&%
)7 Le$ de CO?SE?SO A%,%C,A+C*A+%,
A+C
/A,%(&/%,C(&
/A+,C(*/A,%(&/A+,C(
)) Le$ de MO@GA? /A,%(+*A+&%+ /A&%(+*A+,%+
)- O%LE ?EGACIO?
/Le$ de In:olucin(
/A+(+*A
En las columnas a( $ b( se indican las formas =ALES de representacin de cada le$" $a
!ue el P@I?CIPIO E =ALIA establece !ue si en una identidad se intercambian
entre sD las operaciones suma $ producto lgicos" $ los elementos 7 $ )" la identidad
permanece :lida&
e a#ora en adelante" para #acer referencia a una determinada identidad la
identificaremos por la fila $ la columna del cuadro& e esta manera" el indicador/2&a(
#ar referencia a la identidad A,A+*)& Esto nos permitir e;plicar en forma concisa las
respecti:as le$es usadas en la manipulacin algebraica&
S&!ci"n Pr&$!ema nr&( )*
a( f)*A+,%+,A%C+
0&b
f)*A+,%+,%&AC+
5&a
f)*A+,%+,AC+
0&a
f)* A+,AC+
5&a
, %
f)*A+,C+,%+
0&a
f)*A+,%,C+
0
Aplicando /))&b( podrDa e;presarse' f)*/A%C(+
b( f-*A,A+%,A+%+C,A+%+C+
3&a
f-* A,A+/%,%+C,%+C+(
5&a
f-*A,/%,%+C,%+C+
3&a
(
f-*A,/%,%+/C,C+(
5&a
f-*A,/%,%+/C,(
5&a
(
f-*A,/%,/C,(
1&a
(
f-*A,/%,C,(
1&a
f-*A,%,C,
c( f.*/A+,A%C(,/A+,A%C+(,/A,A+%C(
/1&a( f.*A+,A%C,A+
0&a
,A%C+,A
0&a
,A+%C
f.+*A,A+
)&a
,A%C,A
0&a
,A%C+,A+%C
f.*A+,A
2&a
,A%C,A%C+,A+%C
f.*),/A%C,A%C+,A+%C(/.&a(
f.*)
d( f0*A%C,A/%&C(+
))&b
,A+%C
f0*A%C,A/%+,C+(
3&a
,A+%C
f0*A%C,A%+
-&b
,AC+
-&b
,A+%C
f0*A%C,A%+&)
2&a
,AC+&)
2&a
,A+%C
f0*A%C,A%+/C,C+(
3&a
,AC+/%,%+(
3&a
,A+%C
f0* A%C,A%+C,A%+C+,AC+%
0&b
,AC+%+
0&b
,A+%C
f0*A%C
0&b
,A%+C
0&b
,A%+C+,A%C+,A%+C+
0&a
,A+%C
f0*AC%,AC%+
3&a
,A%+C+,A%+C+
)&a
,A%C+,A+%C
f0*AC/%,%+(
2&a
,A%+C+
0&a
,A%C+
0&a
,A+%C
f0*AC&)
-&b
,AC+%+,AC+%
3&a
,A+%C
f0*AC,AC+/%+,%(
2&a
,A+%C
f0*AC,AC+&)
-&b
,A+%C
1
f0*AC,AC+
3&a
,A+%C
f0*A/C,C+(
2&a
,A+%C
f0*A&)
-&b
,A+%C
1&b
f0*A,A+/%C(
5&a
f0*A,%C
Otra forma de resol:erlo'
f0*A/%C,/%C(+(,A+%C
f0*A,A+%C*A,%C
Otra opcin' f0*%C,/A,A+(,A/%C(+
f0*%C,/%C(+A*%C,A
e( f1* A,%+,A%C+
0&a
f1*A,A%C+
4&a
,%+
f1*A,%+
f( f2*A+%C,A%,%C,A+%+C
0&af2*A+%C,A+%+C
3&a
,A%,%C
f2*A+C,/%,%+(
2&a
,A%,%C
f2*A+C&)
-&b
,A%,%C
f2*A+C,A%,%C
0&af2*A%,%C,A+C
)7&a
f2*A%,A+C
g( f3*A++
-&b
,A+%+,C++,%C
f3*A++&)
2&a
,A+%+,C++
0&a
,%C
f3*A++/C,C+(
3&a
,C++,A+%+,%C
2
f3*A++C
0&a
,A++C+
0&a
,C++,A+%+,%C
f3*A+C+
-&b
,A+C++,C++
3&a
,A+%+,%C
f3*A+C+&)
2&a
,C++/A+,)(
.&a
A+%+,%C
f3*A+C+/%,%+(
3&a
,C++&)
-&b
,A+%+,%C
f3*A+%C+,A+%+C+,C++,A+%+,%C
0&af3*A+%C+
0&b
,%C,A+%+C+,A+%+
4&a
,C++
f3*%CA++,%C
4&a
,A+%+,C++
f3*%C,A+%+,C++
#( f4*A%
-&b
,%+C
-&b
,AC+
f4*A%&)
2&a
,%+C&)
2&a
,AC+
f4*A%&/C+,C /C,E((
/3&a(
, %+C&/,+&/A,A+(
/3&a(
,AC+
f4*A%C+,A%C,A%C+,%+C+,%+CA,%+CA+,AC+
/3&a(
f4*A%C+,AC,/%,%+(
/2&a(
,A%C+,%+C+,A+%+C,AC+
AAAAAAAAAAAAAAAAAAA
/-b(
f4*A%C+,AC,A%C+
/3&a(
,%+C+,A+%+C,AC+
f4*A%C+,AC/,+%(
/5&a(
,%+C+,A+%+C
/0&a(
,AC+
f4*A%C+,AC/,%(
/3&a(
,A+%+C,%+C+,AC+
f4*A%C+,AC,AC%,A+%+C+,%+C,%+C+,AC+
/3&a(
f4*A%C+,C/A,A+%+C(
/5&a(
,A%C,%+C+,AC+
/3&a(
f4*A%/C+,C(
/2&a(
,C/A,%+C(
/3&a(
,%+C+,AC+
AAAAAAAAAAAA/-&b(
f4*A%,AC,%+C,%+C+
/3&a(

/2&a(

/-&b(
,AC+
f4*A%,AC,%+C,AC+ /3&a(
f4*A%,%+C,A/C,C+(
/2&a(
3
AAAAAAAAAAA/-&b(
f4*A%,%+C,A
i(f5*
.
/)"."2"3(
Tener presente !ue esta forma de notacin indica la correpondiente S=MA E
P@O=CTOS CA?F?ICOS /minterm(& Es decir darDa el e!ui:alente decimal de
TOAS las filas donde la tabla presenta un G)H a su salida&
Para e:itar ambigIedades entre la notacin ?=MJ@ICA $ la
ALGE%@AICA #a$ !ue con:enir en el ordenamiento !ue
tendrn las :ariables /literales( en la tabla& Con:endemos en
asignar el literal !ue apareKca en primer t9rmino entre par9ntesis
al bit ms significati:o /MS%( $ de a#D en adelante ordenando en
forma correlati:a& Por e6emplo '
f/B"L"M(*
.
/)"0(*B+L+M,BL+M+
Se de6a constancia !ue esta CO?>E?CIF? no es uni:ersal /#a$
autores !ue ordenan las tablas al re:9s(& Es simplemente una
manera de ponernos de acuerdo en la notacin& En caso de no
estar especificadas las :ariables" asignaremos el MS% al literal A"
el siguiente al %"etc& Por lo dic#o resulta'
C5*
.
/)"."2"3(*A+%+C,A+%C,A%C+,A%C
77) 7)) ))7 )))
?otar !ue cada minterm puede escribirse pensando en la notacin binaria del e!u:alente
decimal" sin armar la tabla" negando la :ariable cuando en la respecti:a combinacin de
entradas el respecti:o bit es G7H $ de6ndola sin negar en caso !ue sea G)H &
% 2* A+C/%+,%(
/ 2 a (
,A%/C+,C(
/2a(
* A+C & )
/-a(
, A% &)
/-a(
* A3C4AB
6( f )7*
0
/7")"-"."2")-")0(
f )7* A+%+C++,A+%+C+
/3a(
,A+%+C+,A+%+C
/3a(
,A+%C+,A%C++,A%C+
/3a(
f )7* A+%+C+/+,( , A+%+C/+,( ,A+%C+, A%+/C+,C(
f )7* A+%+C+,A+%+C,A+%C+,A%+
f )7* A+%+/C+,C( ,%+/A+C,A(
/5a(
f )7 * A+%+,%+/C,A( * A+%+,%C+,A%+
?N A%C f 5
7 777 7
) 77) )
- 7)7 7
. 7)) )
0 )77 7
1 )7) 7
2 ))7 )
3 ))) )
4
O$'er5aci"n' notar !ue la manipulacin algebraica no constitu$e una manera sistemtica
de simplificacin" $ no asegura el logro de la m;ima simplificacin" es decir" la
obtencin de una e;presin MO?IMA E<=I>ALE?TE
S&!ci"n pr&$!ema N6 +
Este problema nos permitir e6ercitarnos en el uso de las le$es de e Morgan
a( f)* A+/%+,C+(/A,%,C+(
f P) * /A+/%+,C+(/A,%,C+((+ * /A+(+ , /%+,C+(+ ,/A,%,C+(+
f P) * A,%C,A+%+C
/3&a(
f P) * A,C/%,%+A+(
/5&a(
* A,C&/%,A+
/3&a(
( * A,%C,A+C
f P) * A,A+C+
/5&a(
,%C * A,C,%C
/4&a(
* A,C

b( f-* A,/C+,%,%++(,/C,%+(&
f P-* /A,/C+,%,%++(,/C,%+((+
f P- * A+&/C+,%,%++(+
/5&a(
& /C,%+(+
f P-* A+&/C+,%,+(+
/))&a(
&&/C+&/%+(+
/))&b(
f P-* A+&/C%+(&/C+/%,+(( * C&C+
/2&b(
& /A+%+/%,+((
f P- * 7&/ (
/.&a(
& * 7
c( f .* /A,%+C+(&/%,A+C+(&/C,A+%+(
f P. * / /A,%+C+(&/%,A+C+(&/C,A+%+( (+
f P .* /A,%+C+(+,/%,A+C+(+,/C,A+%+(+
f P .* A+&/%+C+(+,%+&/A+C+(+,C+&/A+%+(+
f P .* A+&/%,C(,%+&/A,C(,C+&/A,%(
f P.* A+%,A+C,A%+,%+C,AC+,%C+
f P.* A+%/C,C+(, A+C /%,%+(,A%+,%+C/A,A+(,AC+,%C+/A,A+(
f P.*A+%C , A+%C+ , A+%C ,A+%+C , A%+,A%+C
/4&a(
, A+%+C
/)&a(
,AC+,A%C+
/4&a(
,
A+%C+
/)&a(
5
f +.*A+%C,A+%C+
/3&a(
,A+%+C,A%+
/3&a(
,AC+
f P.*A+%/C,C+(
/2&a(
,%+/A+C,A(
/5&a(
,AC+
f P.*A+%&)
/-&b(
,%+/C,A(
/3&a(
,AC+
f P.*A+% ,%+C,A%+,AC+
d( f0*A,/C+,%,%++(&/C,%+(
f P 0* /A,/C+,%,%++(&/C,%+((+ &Por /))&a( resulta'
f P0*A+&//C+,%,%++(
/5a(
&/C,%+((+
f P 0* A+&//C+,%,+(&/C,%+((+
/))&b(
f P0* A+&//C+,%,+(+,/C,%+(+(
f P0* A+&/C%+,C+&/%+(+(
/3a(
f P0* A+%+C, A+C+/%+(+
/))&b(
* A+%+C,A+C+/%,+(
/3&a(

f P0* A+%+C, A+%C+,A+C++
S&!ci"n pr&$!ema N6 ,
a( Para !ue sean A+,A%
/5 a(
* A+,%* 7 deben ser A+*7 o sea A*) $ adems %*7
Por lo tanto" las condiciones !ue deben cumplir son'
A7) B78
b( Para !ue se :erifi!ue A%*AC debe ocurrir !ue sea A*7 / %$C cuales!uiera( o
bien !ue sea %*C / A cual!uiera(
c( A%,%C,A+C* A%,A+C /A%,%C,A+C( * /A%,A+C(
A%,%C,A+C*A%,A+C
Por le$ de CO?SE?SO /)7a( la identidad es :lida siempre
S&!ci"n pr&$!ema N6 -
a( f)* A/%+,C+(,C
)7
dada una e;presin algebraica" aplicando la propiedad IST@I%=TI>A // 3 a( $ /3 b((
primeramente se le lle:a a suma de productos o a producto de sumas segQn cual sea la
forma cannica buscada&
En el caso de suma de productos" se multiplica cada producto por la suma de las
:ariables !ue faltan en 9l $ sus in:ersas //-b(/2a((" $ se distribu$e /3a( $ se suprimen los
t9rminos repetidos /)a( & Es decir '
f)* A/%+,C+(,C*A%+,AC+,C
f) * A%+&/C,C+(,AC+&/%,%+(,C&/A,A+(&/%,%+(
f) * A%+C,A%+C+,A%C+,A%+C+,&/AC,A+C(&/%,%+(
f) * A%+C,A%+C+,A%C+,A%+C+,A%C,A%+C,A+%C,A+%+C
f) * A%+C,A%+C+,A%C+,A%C,A+%C,A+%+C
E;presin a!#e$raica de la primer %&rma can"nica tambien llamada S=MA E
P@O=CTOS CA?F?ICOS o EBP@ESIF? ?O@MAL ISR=?TA &
La e;presin num9rica de la primer forma cannica se obtiene reemplaKando
directamente cada minterm& de la e;presin algebraica por su e!ui:alente decimal'
f)*
.
/1"0"2"3".")( *
.
/)"."0"1"2"3(
En el caso de Producto de sumas" se le suma a cada una de las sumas el producto de
cada :ariable !ue falta en ella por su in:ersa //-a( $ /2b((" $ se distribulle /3 b( $ se
suprimen los t9rminos repetidos /) b(& Es decir'
f)* A&/%+,C+(,C * /A,C(&//%+,C+(,C( * A,C * /A,C(,%%+

3 b
*)
f) * /A,C,%(&/A,%,C+( * /A,%,C(&/A,%+,C(
E;presin algebraica de la 'e#nda %&rma can"nica tambi9n llamada P@O=CTO E
S=MAS CA?F?ICAS o E;presin normal Con6unta& La e;presin num9rica de la
segunda forma cannica se obtiene reemplaKando directamente cada ma;term& de la
e;presin algebraica por su e!ui:alente decimal" teniendo presente en 9ste caso" para
determinarlo" a cada :ariable ne#ada le corresponde un G)H $ a la :ariable sin negar le
corresponde un G7H& Es decir'
f)*
.
/7"-(
))
Adems" podrDa #aberse obtenido la e;presin ?=MJ@ICA E LA P@IME@ CO@MA
CA?F?ICA a partir de la e;presin ?=MJ@ICA E LA SEG=?A CO@MA
CA?F?ICA /$ :ice:ersa(" reemplaKando los sDmbolos de
$ /o :ice:ersa(" $ completando con los nQmeros
correspondientes a los e:entos de entrada no considerados en
la e;presin de origen para los cuales la funcin est9
ESPECICICAA& Los e:entos de la entrada para los cuales
la funcin no est9 especificada /@E=?A?CIAS("
mantienen sus nQmeros& >eamos un e6emplo'
f*
.
/)"-"1"3(,
.
/7"0(
f*
.
/."2(&
.
/7"0(
Si se necesita determinar la e;presin num9rica de una funcin partiendo de la e;presin
?=ME@ICA de su COMPLEME?TO" bastarD intercambiar los sDmbolos de $
manteniendo los nQmeros& Es decir'
Si' f *
.
/)"-"1"3( ,
.
/7"0( f+ *
.
/)"-"1"3( &
.
/7"0(
Si' f *
.
/."2( &
.
/7"0( f+ *
.
/."2( ,
.
/7"0(
b( f- * A%,A%+C,A+%+
C- * A%C,A%C+,A%+C,A+%+/C,C+(
f- * A%C,A%C+,A%+C,A+%+C,A+%+C+
f- *
.
/3"2"1")"7( f- * . /7")"1"2"3(
f- *
.
/-"."0( f- * /A,%+C(&/A,%+,C+(&/A+E%EC(
?N A%C f
7 777 AA
) 77) )
- 7)7 )
. 7)) 7
0 )77 A
1 )7) )
2 ))7 7
3 ))) )
)-
c( f. * A%C+,A%C+,A+%
f. * A%C+,A%C+&/,+(,A+%&/C,C+(
f. * A%C+,A%C+,A%C++,A+%C,A+%C+
f. *
0
/)0").")-"3"1( f. *
0
/1"3")-").")0(
f. *
.
/7")"-"."0"2"4"5")7"))")1(
f.*/A,%,C,(&/A,%,C,+(&/A,%,C+,(&/A,%,C+,+(&/A,%+,C,(&
/A,%+,C+,(&/A+,%,C,(&/A+,%,C,+(&/A+,%,C+,(&/A+,%,C+,+(&
/A+,%+,C+,+(
d( f0 * A%,/A,C(%+,A+%+C
f0 * A%,A%+,%+C,A+%+C
4&a
* A%,A%+,%+C
f0 * /A%,A%+(&/C,C+(,%+C&/A,A+(
C0 * A%C,A%C+,A%+C,A%+C+,A%+C,A+%+C
f0 * A%C,A%C+,A%+C,A%+C+,A+%+C
f0 *
.
/3"2"1"0")( f0 *
.
/7"-".(
f0 * /A,%,C(&/A,%+,C(&/A,%+,C+(
Jsta Qltima e;presin podrDa #aber sido obtenida e;pandiendo la e;presin algebraica
original" de esta manera'
f0 * A%,A%+
3&a $ 2&a

,%+C * A,%+C
3&b

* /A,%+(&/A,C(
f0 * //A,%+(,CC+(&//A,C(,%%+( distribu$endo'
f0 * /A,%+,C(&/A,%+,C+(&/A,%,C(&/A,%+,C(
f0 * /A,%+,C(&/A,%+,C+(&/A,%,C(
).
e( f1 *
.
/7")"."0"1"3( f1 *
.
/-"2(
f1 * A+%+C+,A+%+C,A+%C,A%+C+,A%+C,A%C
f1 * /A,%+,C(&/A+,%+,C(
f( f2 *
0
/7")"-".")-")1(
f2 * A+%+C++,A+%+C+,A+%+C+,A+%+C,A%C++,A%C
f2 *
0
/0"1"2"3"4"5")7"))").")0(
f2*/A,%+,C,(&/A,%+,C,+(&/A,%+,C+,(&/A,%+,C+,+(&/A+,%,C,(&
/A+,%,C,+(&/A+,%,C+,(&/A+,%,C+,+(&/A+,%+,C,+(&/A+,%+,C+,(
g( f3 * /A,%(+,A+%C,/A&/%,C((+
f3 * A+%+,A+%C,/A+,/%,C(+(
f3 * A+&/%+,%C,)(,%+C+ * A+,%+C+
f3 * A+&/%,%+(&/C,C+(,%+C+&/A,A+(
f3 * /A+%,A+%+(&/C,C+(,A%+C+,A+%+C+
f3 * A+%C,A+%C+,A+%+C,A+%+C+,A%+C+,A+%+C
f3 * A+%C,A+%C+,A+%+C,A+%+C+,A%+C+
f3 *
.
/."-")"7"0( *
.
/7")"-"."0( C3 *
.
/1"2"3(
f3 * /A+,%,C+(&/A+,%+,C(&/A+,%+,C+(
)0
S&!ci"n pr&$!ema N6 .*
f) * A%C,A%+,AC+,A+%C
f- * A,%C
os funciones lgicas son e9i5a!ente' si tienen la misma TA%LA E >E@A&
ado !ue la forma cannica e;traida de una determinada tabla de :erdad es Qnica" si dos
funciones tienen la misma e;presin CA?F?ICA" es !ue son E<=I>ALE?TES& Por lo
tanto" sacaremos las respecti:as formas cannicas de f) $ f- para :er si son iguales&
f) * A%C,A%+/C,C+(,AC+&/%,%+(,A+%C
f) * A%C,A%+C,A%+C+,A%C+,A%+C+,A+%C
f) * A%C,A%+C,A%+C+,A%C+,A+%C
f) *
.
/3"1"0"2".( f) *
.
/.""0"1"2"3(
f- * A&/%,%+(&/C,C+(,%C&/A,A+( * /A%,A%+(&/C,C+(,A%C,A+%C
f- * A%C,A%C+,A%+C,A%+C+,A%C,A+%C
f- * A%C,A%C+,A%+C,A%+C+,A+%C
f- *
.
/3"2"1"0".( f- *
.
/."0"1"2"3(
Por lo tanto" f) $ f- son E<=I>ALE?TES&
Jste e6emplo permite obser:ar !ue aun!ue una forma cannica re!uiera ms sDmbolos" es
ms fcil de identificar :isualmente por la regularidad de su estructura&

S&!ci"n pr&$!ema N6 /*
f f f donde'
f A % C(
f
f A % C A % C / ( A % C A % C f /)"7( /7")(
f
) -
)
-
) )
0 0
-
=
= + +
=

= = + = + = =
=

Aparecern todos los t9rminos cu$o bit menos significati:o /LS%( sea cero" es decir"
todos los t9rminos pares" por lo tanto'
f /7"-"0"2"4")7")-")0(
-
0
=

)1
Por definicin de O@Ae;clusi:a" la funcin
f f f
) -
=
adoptar al :alor lgico G)H para
a!uellas combinaciones de entrada para las !ue las funciones f
)
$ f
-
adopten :alores
diferentes& Es decir" aparecern los minterm !ue apareKcan en una sola de las funciones&
Es decir'
f /)"-"0"2"4")7")-")0( f /7"."1"3"5"))").")1(
0 0
= =

S&!ci"n pr&$!ema N6 0*
a( f * A % f * A % f * /A %( f * /A % (
f A % A%
f A % /A ( % A /% ( A% A % f f
f /A %( //A ( % A % ( /A% A % ( /A%( &/A % (
/A % (&/A %( 7 A % % A 7 f f
f /A % ( /A % A/% (
) - . 0
)
- - )
.
. )
0

= +
= = + = + =
= = + = + = =
= + + = + + + =
= = + ( /A % A%( f f f
b( f /A %( f A% A %
f /A % A% ( /A %( &/A% ( /A % (&/A %( 7 A% % A 7 f
c( f /A %( f A % f A %
f A% A %
f A % A/% ( A % A% f f
f /A ( % A % A% A % f f
. 0 )
) -
) -
) - .
)
- - )
. . )
= + = =
= = +
= + = = + + = + + + =
= = =
= +
= + = + =
= + = + =
d( f A/% C( f A% AC
f A/% C( A/% C %C ( A% C A%C
f A% AC /A%( /AC( /A%(/AC( /A % (AC A%/A C (
f 7 A% C 7 A%C A% C A%C
f f
) -
)
-
-
) -
= =
= = + = +
= = + = + + +
= + + + = +
=
e( A ) A &) A&) A )&7 A
f( A 7 A &7 A&7 7 A&) A
g( A C % C
A C A C AC
% C % C %C
A C AC % C %C A %
#( A % 7 A % A% 7
A % 7
A% 7
A %
= + = + =
= + = + =
=
= +
= +

+ = + =
= + =
=
=

=
i( Probaremos primero !ue si'
x y entonces x y = = / ( )
Si x y x
Si x y x
queda demostrado
= = = =
= = =

7 7
) )
) / (
Por lo tanto'
A /% C( A /% C( /-(
/A %( C /A %( C /.(
= =
= =

CaltarDa demostrar'
A % C A /% C( /A %( C /0( = =
)2
A /% C( * A /% C , %C ( , A/% C , %C( * A % C , A %C , A% C , A%C * /)"-"0"3(
.
/A %( C * /A % , A%(C , /A % , A% (C * A % C , A%C , A %C , A% C * /)"3"-"0(
.

Adems" por definicin de BO@" la funcin adopta el :alor G)H cuando #a$ un nQmero
impar de entradas en G)H
=

A % C /)"-"0"3(
.
Con lo !ue !ueda demostrado /0(
A % C
/A %( C A % C
A /% C( A /% C( % C
demostrado
0
.
-
=
= =
= = =

6(
/A %( /A C( A % A% A C AC A /% C( A/% C (
A /% C( A /% C( A/% C(
+ = + + + = + + +
+ = + + +
Por le$ de Morgan'
/% C( % C % C /A %( /A C( A /% C( + = + + +

8( f A % f A % A%
f /A %( A% /A %( A% /A %(/A%(
/A % A%(A% /A % A% (/A % (
7 A% A % 7 7 A% A/% % ( A % A A % A % f)
) -
-
= + =
= = + =
= + + + + =
= + + + + + = + + = + = + =
l( f A%C A% C A C
3a
A%C C/A A%
5a
( A%C C/A %
)-
(
A%C C&S/A %
))a
( T A%C C/A%( A% C
= + + = + + = + + =
= + + = + =


S&!ci"n pr&$!ema N6 1*
f /1"2").(
f /7")"-"."1"2"4"5")7"))").(
0
)
=
=

Como f f & f
) -
= " si e;presamos las funciones como producto de sumas cannicas
/ma;term(" los ma;term de f
-
+ deben completar los ma;term !ue le falten a f
)
+ para
lograr f" sin agregar ningQn ma;term !ue no est9 en f&
f /7")"-"."0"3"4"5")7"))")-")0")1(
f /0"3")-")0")1(
0
)
0
=
=

)3
Por lo dic#o anteriormente ser'
=

f /7")"-"."4"5")7"))( /0"3")-")0")1(
puedeaparecer o no
/seran redundanciasenla tabla de :erdad(
-
0 0

Aplicando la oble ?egacin /)-( $ la le$ de e Morgan /))&b( resulta'
f /f ( / /7")"-"."4"5")7"))( /0"3")-")0")1(
-
= =

SegQn lo e;plicado en pg&)-" ser'
f /7")"-"."4"5")7"))( /0"3")-")0")1(
-
0 0
= +

?otar !ue los t9rminos redundantes podrDan ser incluDdos o no" a los efectos de lograr
una ma$or simplificacin en el proceso de minimiKacin de la funcin&
)4