Contemporary Logic Design 2nd Edition

            

  
 

   
    

         

 





  
 


#$(* "* "!#%%* &"!!' &"!* &* 4Cjw{ :C_Iv{0{ +a_jJ]badCdv{ XaQUH{ IJiUQ_{ * :C_Iv{ 0{ 4Cjx _I{ JI{ b{ K]{ 1;*8{"!{ { -YJHjea_UH{ IUQUjCY{ Ha]bojJdi +UeHoUji ,JiUQ_{ { 2_jJQdCjJI{ HUeHoUjiy ?Jdv{YCdQJ{iHCYJ{U_jJQeCjUa_,JiUQ_ ,CjC{beaHJiiU_Q{{5aQUH{IJiUQ_,CjC{ beaHJiiV_Q{{+a]bojJdCUIJI{IJiVQ_{ 2{ 70;0.F F %@++.>>4B.F 4B2>4;:F

 F

 C .5$:BC 9-F

 C C >3%(9C (89(;(5F   F ;04+F )?.>F /=;9F

 F

"%F %C2?+1.>F

 F







 

6 6 /,0*&00&-,6 1"6

 6

6 4&1%6 , 6 1""/&,$6 -$&6

 "#*(1 %1 *1 *1 *1

 6



6 &*.("6 "/#-/*,"6 )2(1&-,06

 "*1 %,"#**%#1 *#'(1

 6



  '+ 1 )&*)1 %1 #&,*(
1 ,*&,*)
1

#1 %(1



 6 4&1%"06 ,!6 06 06 ,.2106 , 6 21.2106

 6

 6 "-2,&,$6 4&1%"06 &&#/1 -.1 /'((1

   

 6






  



1 & %&1 %"&%#$*(1



1 !0#1 ',+)1 .*1 '#+1 #(1 %1 !& !%&(1



6 -,3"/0&-,6 -#6 ,"6 (&.
(-.6 5."6 1-6 ,-1%"/6

 6

1 *1 (*'(1 #1 %,#*'(1

 

6 *.)"*",11&-,6 4'1%6


 (&.
(-.06

 6

6 +.)"*",11'-,64&1%6 
 (&.)-.06

 6

6 *.)"*",11&-,6 4&1%6  )&.
)-.06

 6

6 +.("*",11&-,6 4&1%6  )&.(-.06

 6

6 -*./&0-,6, 6 2**/56 &&#/1 -.1 /'((1  

  

 

 6



     9L ?0&L %&$"%&L >19$&L ?0&L +=>?L &%1?1:9L :'L ?01>L #::4L E">L ;B#61>0&%L ?0&L ?&$09:6:/1&>L :'L %1/1?"6L %&>1/9L 0"D&L$:9?19B&%L?:L &D:7D& L !0&L &D:7C?1:9L 0">L =C9L "7:9/L ?E:L $7:>&6GL =&6"@&%L?="$5>L @0&L C9%&=6G19/L ;0G>1$"7L @&$0I 9:7:/GL "9%L ?0&L >:(AE"=&L ?::6>L ?0"?L '"$161?"?&L ?0&L ";;61$"?1:9L:'L?0&L 9&EL %&D1$&> L !0&L?=&9%>L1%&9?1,&%L19L?0&L-=>?L&%1?1:9L0"D&L$:9?19C&%L>?=:9I /&=L @0"9L &D&=L "9%L ;=:81>&L ?:L $:9?19C&L ':=L >:8&L ?18&L ?:L $:8& L

;&$1-I

$"66GL ;=:/="88"#6&L 6:/1$L 0">L #&$:8&L D1=@C"76GL @0&L 9:=8L ':=L %1/1?"6L %&>1/9&=>L"9%L?0&L "=?L :'L %1/1@"6L %&>1/9L 9:EL"#>:6B?&6GL=&L ?0&L >:(AI E"=&L >4167>L ?:L%&"7L E1?0L 0"=%E"=&L %&>$=1;?1:9L6"9/C"/&>L :L 7:9/&=L %:L E&L >&&L ?0&L '"8161"=L G&66:EL $:D&=L :'L ?0&L !!L "?"L ::4L:9L&D&=GL %&>1/9&=
>L #::4>0&6' L 9L'"$?L ':=L8"9GL ";;61$"?1:9L"=&">L &D&9L >8"66L ;=:/="88"#6&L 6:/1$L %&D1$&>L >L ?0&L 8"19>?"G>L :'L ?0&L >L "9%L &"=6GL >L "=&L =";1%7GL %1>";;&"=19/ L !0&L #C=/&:919/L8"=I 4&?L ':=L >8"66&=L 6:E&=L ;:E&=L "9%L 8:=&L ;:=?"#6&L %&D1$&>L 0">L %=1D&9L 01/0L 6&D&6>L :'L 19?&/="?1:9L 19@:L "68:>?L &D&=GL ;=:%C$?L !01>L "6>:L 0">L $0"9/&%L?0&L9"@C=&L:'L:;?181H"@1:9L @0&L ':$B>L 1>L9:EL:9LE0"?L /:&>L19?:L &"$0L $02;L ="?0&=L ?0"9L :9L ?0&L $:66&$?1:9L :'L 19%1D1%C"7L /"@&>L 9&&%&%L @:L =&"61H&L ?0&L%&>1/9 L !0&L :;?181H"?1:9>L :'L ?:%"GL "=&L 8:=&L "9%L8:=&L :(A&9L 8"%&L "?L ?0&L "=$01?&$?B=&L 6&D&7L ="?0&=L ?0"9L 19L ?0&L >E1?$0&> L "=%E"=&L %&>1/9&=>L 9:EL >;&9%L ?0&L 8"3:=1?GL :'L @0&1=L ?18&L %&"719/L E1?0L>:(?E"=& L

;&$1-$"77GL @0&L ?::6>L 9&&%&%L ?:L &*$1&9?6GL 8";L %1/1?"7L

%&>1/9>L:9?:L?0&L &8&=/19/L;=:/="88"#6&L %&D1$&>L?0"?L "=&L /=:E19/L&D&=L 8:=&L >:;01>@1$"@&%L !0&GL $";@C=&L @0&1=L %&>1/9L >;&$1-$"?1:9>L 19L >:)AJ E"=&L E1?0L %&>$=1;@1:9L 6"9/C"/&>L ";;=:;=1"?&L ':=L %&>$=1#19/L ?0&L ;"="7K 6&61>8L :'L 0"=%E"=&L ?0&GL C>&L >:(AE"=&L ?::6>L ?:L >18B6"?&L ?0&1=L %&>1/9>L "9%L ?0&9L ?:L >G9@0&>1H&L 1?L 19?:L ?0&L 18;6&8&9?"?1:9L ?&$09:6:/GL :'L $0:1$& L &>1/9L ?18&L 1>L =&%C$&%L ="%1$"66GL ">L 8"=4&?L ;=&>>C=&>L =&L?:L #&L 19?=:%C$&%L 1/9>L 9&$&>>1?"?&>L 8:=&L ;:E&='C6L "#>?="$?1:9>L @0&L 'C9%"8&9?"6>L 0"D&9?L $0"9/&% L 9L '"$?L ?0&L $:9?&8;:="=GL %1/1?"6L %&>1/9&=L 8B>?L 0"D&L "L #=:"%&=L C9%&=I >?"9%19/L :'L ?0&L %1>$1;619&L :'L $:8;C?"?1:9L ?0"9L &D&=L #&':=&L 19$7C%19/L #:?0L 0"=%E"=&L "9%L >:(AE"=& L 9L ?01>L >&$:9%L &%1?1:9L E&L ;=:D1%&L @01>L #=:"%&=L ;&=>;&$?1D& L

        !0&=&L "=&L 8"9GL $0"9/&>L .:8L ?0&L-=>?L &%1?1:9L ?0"@L $"9L #&L /=:C;&%L 19?:L ':C=L =:C/0L $"?&/:=1&>L 1=>?L E&L C;%"?&%L ?0&L 0"=%E"=&L @&$09:6:/1&>L






(8;88D(3D9'D 44+ D 43D =D DD247D425,9D (D3