You are on page 1of 11

&RPELQDWLRQDO ORJLF 3RVVLEOH ORJLF IXQFWLRQV RI WZR YDULDEOHV

/RJLF IXQFWLRQV WUXWK WDEOHV DQG VZLWFKHV


127 $1' 25 1$1' 125 ;25   
7KHUH DUH  SRVVLEOH IXQFWLRQV RI  LQSXW YDULDEOHV
0LQLPDO VHW LQ JHQHUDO WKHUH DUH   Q IXQFWLRQV RI Q LQSXWV

$[LRPV DQG WKHRUHPV RI %RROHDQ DOJHEUD


;
3URRIV E\ UHZULWLQJ <
)
3URRIV E\ SHUIHFW LQGXFWLRQ

*DWH ORJLF ; <  SRVVLEOH IXQFWLRQV ))


                 
1HWZRUNV RI %RROHDQ IXQFWLRQV                  
7LPH EHKDYLRU                  
                 
&DQRQLFDO IRUPV  
; < QRW < QRW ;
7ZROHYHO ; DQG < ; [RU < ; < ; QDQG <
,QFRPSOHWHO\ VSHFLILHG IXQFWLRQV ; RU < ; QRU < QRW ; DQG <
QRW ; RU <
6LPSOLILFDWLRQ
%RROHDQ FXEHV DQG .DUQDXJK PDSV
7ZROHYHO VLPSOLILFDWLRQ
CS 150 - Fall 2000 - Combinational Logic - 1 CS 150 - Fall 2000 - Combinational Logic - 2

&RVW RI GLIIHUHQW ORJLF IXQFWLRQV 0LQLPDO VHW RI IXQFWLRQV


'LIIHUHQW IXQFWLRQV DUH HDVLHU RU KDUGHU WR LPSOHPHQW &DQ ZH LPSOHPHQW DOO ORJLF IXQFWLRQV IURP 127 125

(DFK KDV D FRVW DVVRFLDWHG ZLWK WKH QXPEHU RI VZLWFKHV QHHGHG DQG 1$1'"
 ) DQG  )  UHTXLUH  VZLWFKHV GLUHFWO\ FRQQHFW RXWSXW WR )RU H[DPSOH LPSOHPHQWLQJ ; DQG <
ORZKLJK LV WKH VDPH DV LPSOHPHQWLQJ QRW ; QDQG <
; ) DQG < )  UHTXLUH  VZLWFKHV RXWSXW LV RQH RI LQSXWV
;
) DQG <
)  UHTXLUH  VZLWFKHV IRU LQYHUWHU RU 127JDWH
,Q IDFW ZH FDQ GR LW ZLWK RQO\ 125 RU RQO\ 1$1'

127 LV MXVW D 1$1' RU D 125 ZLWK ERWK LQSXWV WLHG WRJHWKHU


; QRU < ) DQG ; QDQG < )  UHTXLUH  VZLWFKHV
; < ; QRU < ; < ; QDQG <
; RU < ) DQG ; DQG < )  UHTXLUH  VZLWFKHV      
; < ) DQG ; < )  UHTXLUH  VZLWFKHV
     
DQG 1$1' DQG 125 DUH GXDOV LH HDV\ WR LPSOHPHQW RQH XVLQJ WKH
%HFDXVH 127 125 DQG 1$1' DUH WKH FKHDSHVW WKH\ DUH WKH RWKHU
IXQFWLRQV ZH LPSOHPHQW WKH PRVW LQ SUDFWLFH X nand Y not ( (not X) nor (not Y) )
X nor Y not ( (not X) nand (not Y) )

%XW OHWV QRW PRYH WRR IDVW   

OHWV ORRN DW WKH PDWKHPDWLFDO IRXQGDWLRQ RI ORJLF


CS 150 - Fall 2000 - Combinational Logic - 3 CS 150 - Fall 2000 - Combinational Logic - 4

$Q DOJHEUDLF VWUXFWXUH %RROHDQ DOJHEUD


$Q DOJHEUDLF VWUXFWXUH FRQVLVWV RI %RROHDQ DOJHEUD
D VHW RI HOHPHQWV % % ^ `
ELQDU\ RSHUDWLRQV ^   `  LV ORJLFDO 25 LV ORJLFDO $1'
DQG D XQDU\ RSHUDWLRQ ^
`
LV ORJLFDO 127
VXFK WKDW WKH IROORZLQJ D[LRPV KROG
$OO DOJHEUDLF D[LRPV KROG
 VHW % FRQWDLQV DW OHDVW WZR HOHPHQWV D E VXFK WKDW D E
 FORVXUH DE LV LQ % DE LV LQ %
 FRPPXWDWLYLW\ DE ED DE ED
 DVVRFLDWLYLW\ D  E  F D  E  F D E F D E F
 LGHQWLW\ D D D D
 GLVWULEXWLYLW\ D  E F D  E D  F D E  F D E  D F
 FRPSOHPHQWDULW\ D  D
 D D


CS 150 - Fall 2000 - Combinational Logic - 5 CS 150 - Fall 2000 - Combinational Logic - 6
/RJLF IXQFWLRQV DQG %RROHDQ DOJHEUD $[LRPV DQG WKHRUHPV RI %RROHDQ DOJHEUD

,GHQWLW\
$Q\ ORJLF IXQFWLRQ WKDW FDQ EH H[SUHVVHG DV D WUXWK  ; ; ' ; ;
WDEOH FDQ EH ZULWWHQ DV DQ H[SUHVVLRQ LQ %RROHDQ 1XOO
DOJHEUD XVLQJ WKH RSHUDWRUV
  DQG  ;  ' ; 
; < ;< ; < ;
;
<
      
,GHPSRWHQF\
        ;; ; ' ;; ;
      
      
,QYROXWLRQ
 ;

;
;

<

;


<


;<

;
<
; <  ;
<

 
&RPSOHPHQWDULW\
        ;  ;
 ' ; ;

      
; <  ;
<
; <

       &RPPXWDWLYLW\
 ;< <; ' ;< <;
%RROHDQ H[SUHVVLRQ WKDW LV
WUXH ZKHQ WKH YDULDEOHV ;
DQG < KDYH WKH VDPH YDOXH
$VVRFLDWLYLW\
; < DUH %RROHDQ DOJHEUD YDULDEOHV
DQG IDOVH RWKHUZLVH  ;  <  = ;  <  = ' ; < = ; < =
CS 150 - Fall 2000 - Combinational Logic - 7 CS 150 - Fall 2000 - Combinational Logic - 8

$[LRPV DQG WKHRUHPV RI %RROHDQ DOJHEUD FRQWG $[LRPV DQG WKHRUHPV RI %RROHDQ DOJHEUD FRQW

'LVWULEXWLYLW\

 ; <  = ; <  ; = ' ;  < = ;  < ;  =


GH 0RUJDQ
V
 ;  <  
;
<
 ' ; < 
;
 <
 
8QLWLQJ

 ; <  ; <
; ' ;  < ;  <
;
JHQHUDOL]HG GH 0RUJDQ
V
 I
;;;Q I ;
;
;Q

$EVRUSWLRQ
 ;  ; < ; ' ; ;  < ;
 ;  <
< ;< ' ; <
 < ;<
HVWDEOLVKHV UHODWLRQVKLS EHWZHHQ DQG 
)DFWRULQJ
 ;  < ;
 = ' ; <  ;
=
; =  ;
< ;  = ;
 <

&RQFHQVXV

 ; <  < =  ;


= ' ;  < <  = ;
 =
; <  ;
= ;  < ;
 =

CS 150 - Fall 2000 - Combinational Logic - 9 CS 150 - Fall 2000 - Combinational Logic - 10

$[LRPV DQG WKHRUHPV RI %RROHDQ DOJHEUD FRQW 3URYLQJ WKHRUHPV UHZULWLQJ

'XDOLW\ 8VLQJ WKH D[LRPV RI %RROHDQ DOJHEUD


'XDO RI D %RROHDQ H[SUHVVLRQ LV GHULYHG E\ UHSODFLQJ E\   E\  
HJ SURYH WKH WKHRUHP ; <  ; <
;
E\  DQG  E\  DQG OHDYLQJ YDULDEOHV XQFKDQJHG

$Q\ WKHRUHP WKDW FDQ EH SURYHQ LV WKXV DOVR SURYHQ IRU LWV GXDO
GLVWULEXWLYLW\  ; <  ; <
; <  <

FRPSOHPHQWDULW\  ; <  <
; 
0HWDWKHRUHP D WKHRUHP DERXW WKHRUHPV
LGHQWLW\ ' ;  ; 9
GXDOLW\

 ;  <   ; < 

JHQHUDOL]HG GXDOLW\ HJ SURYH WKH WKHRUHP ;;< ;


 I ;;;Q I ;;;Q LGHQWLW\ ' ;  ; < ;   ; <
GLVWULEXWLYLW\  ;   ; < ;   <
LGHQWLW\  ;   < ; 

'LIIHUHQW WKDQ GH0RUJDQV /DZ


LGHQWLW\ ' ;  ; 9
WKLV LV D VWDWHPHQW DERXW WKHRUHPV

WKLV LV QRW D ZD\ WR PDQLSXODWH UHZULWH H[SUHVVLRQV

CS 150 - Fall 2000 - Combinational Logic - 11 CS 150 - Fall 2000 - Combinational Logic - 12
3URYLQJ WKHRUHPV SHUIHFW LQGXFWLRQ $ VLPSOH H[DPSOH
8VLQJ SHUIHFW LQGXFWLRQ FRPSOHWH WUXWK WDEOH  ELW ELQDU\ DGGHU
HJ GH 0RUJDQ
V LQSXWV $ % &DUU\LQ $ 6
%
RXWSXWV 6XP &DUU\RXW &RXW
&LQ
; < ;
<
;  <
;
<

;  <
;
<
     
125 LV HTXLYDOHQW WR $1'      
ZLWK LQSXWV FRPSOHPHQWHG
     
      $ % &LQ 6 &RXW
    
    
; < ;
<
; <
;
 <

     
; <
;
 <
         
1$1' LV HTXLYDOHQW WR 25            6 $
%
&LQ  $
% &LQ
 $ %
&LQ
 $ % &LQ
ZLWK LQSXWV FRPSOHPHQWHG
          
           &RXW $
% &LQ  $ %
&LQ  $ % &LQ
 $ % &LQ
    

CS 150 - Fall 2000 - Combinational Logic - 13 CS 150 - Fall 2000 - Combinational Logic - 14

$SSO\ WKH WKHRUHPV WR VLPSOLI\ H[SUHVVLRQV )URP %RROHDQ H[SUHVVLRQV WR ORJLF JDWHV

; <
7KH WKHRUHPV RI %RROHDQ DOJHEUD FDQ VLPSOLI\ %RROHDQ 127 ;
; a; ; < 



H[SUHVVLRQV
; < =
HJ IXOO DGGHU
V FDUU\RXW IXQFWLRQ VDPH UXOHV DSSO\ WR DQ\   
;
IXQFWLRQ
< =   
$1' ; < ;< ; <   
&RXW $
% &LQ  $ %
&LQ  $ % &LQ
 $ % &LQ   
$
% &LQ  $ %
&LQ  $ % &LQ
 $ % &LQ  $ % &LQ
$
% &LQ  $ % &LQ  $ %
&LQ  $ % &LQ
 $ % &LQ
; < =
;   
$
 $ % &LQ  $ %
&LQ  $ % &LQ
 $ % &LQ =   
<
 % &LQ  $ %
&LQ  $ % &LQ
 $ % &LQ 25 ; < ; < 





% &LQ  $ %
&LQ  $ % &LQ
 $ % &LQ  $ % &LQ
% &LQ  $ %
&LQ  $ % &LQ  $ % &LQ
 $ % &LQ
% &LQ  $ %
 % &LQ  $ % &LQ
 $ % &LQ
% &LQ  $  &LQ  $ % &LQ
 $ % &LQ
% &LQ  $ &LQ  $ % &LQ
 &LQ
% &LQ  $ &LQ  $ % 
% &LQ  $ &LQ  $ %

CS 150 - Fall 2000 - Combinational Logic - 15 CS 150 - Fall 2000 - Combinational Logic - 16

)URP %RROHDQ H[SUHVVLRQV WR ORJLF JDWHV FRQWG )URP %RROHDQ H[SUHVVLRQV WR ORJLF JDWHV FRQWG

1$1'
;
=
;


<


=


0RUH WKDQ RQH ZD\ WR PDS H[SUHVVLRQV WR JDWHV
<
  
   7
; < = HJ = $
%
&  ' $
%
&  '
;   
125 =    7
<   
  
XVH RI LQSXW JDWH
; < = $
;25 ;    ; [RU < ; <
 ;
< =
=   
$
< ; RU < EXW QRW ERWK
; <    LQHTXDOLW\ GLIIHUHQFH %
7
   % =

; < = & &


; [QRU < ; <  ;
<
'
7
;125 ;    ; DQG < DUH WKH VDPH
'
< =   
; < 





HTXDOLW\ FRLQFLGHQFH

CS 150 - Fall 2000 - Combinational Logic - 17 CS 150 - Fall 2000 - Combinational Logic - 18
:DYHIRUP YLHZ RI ORJLF IXQFWLRQV &KRRVLQJ GLIIHUHQW UHDOL]DWLRQV RI D IXQFWLRQ

$ % & =
-XVW D VLGHZD\V WUXWK WDEOH    
   
EXW QRWH KRZ HGJHV GRQ
W OLQH XS H[DFWO\
   
LW WDNHV WLPH IRU D JDWH WR VZLWFK LWV RXWSXW
   
   
WLPH    
    WZROHYHO UHDOL]DWLRQ

    ZH GRQ
W FRXQW 127 JDWHV

PXOWLOHYHO UHDOL]DWLRQ

JDWHV ZLWK IHZHU LQSXWV

;25 JDWH HDVLHU WR GUDZ

FKDQJH LQ < WDNHV WLPH WR SURSDJDWH WKURXJK JDWHV EXW FRVWOLHU WR EXLOG

CS 150 - Fall 2000 - Combinational Logic - 19 CS 150 - Fall 2000 - Combinational Logic - 20

:KLFK UHDOL]DWLRQ LV EHVW" :KLFK LV WKH EHVW UHDOL]DWLRQ" FRQWG

5HGXFH QXPEHU RI LQSXWV 5HGXFH QXPEHU RI OHYHOV RI JDWHV


OLWHUDO LQSXW YDULDEOH FRPSOHPHQWHG RU QRW )HZHU OHYHO RI JDWHV LPSOLHV UHGXFHG VLJQDO SURSDJDWLRQ GHOD\V

FDQ DSSUR[LPDWH FRVW RI ORJLF JDWH DV  WUDQVLVWRUV SHU OLWHUDO 0LQLPXP GHOD\ FRQILJXUDWLRQ W\SLFDOO\ UHTXLUHV PRUH JDWHV

ZK\ QRW FRXQW LQYHUWHUV" ZLGHU OHVV GHHS FLUFXLWV

)HZHU OLWHUDOV PHDQV OHVV WUDQVLVWRUV


+RZ GR ZH H[SORUH WUDGHRIIV EHWZHHQ LQFUHDVHG
VPDOOHU FLUFXLWV
)HZHU LQSXWV LPSOLHV IDVWHU JDWHV
FLUFXLW GHOD\ DQG VL]H"
JDWHV DUH VPDOOHU DQG WKXV DOVR IDVWHU
$XWRPDWHG WRROV WR JHQHUDWH GLIIHUHQW VROXWLRQV

)DQLQV  RI JDWH LQSXWV DUH OLPLWHG LQ VRPH WHFKQRORJLHV


/RJLF PLQLPL]DWLRQ UHGXFH QXPEHU RI JDWHV DQG FRPSOH[LW\

/RJLF RSWLPL]DWLRQ UHGXFWLRQ ZKLOH WUDGLQJ RII DJDLQVW GHOD\

5HGXFH QXPEHU RI JDWHV


)HZHU JDWHV DQG WKH SDFNDJHV WKH\ FRPH LQ PHDQV VPDOOHU FLUFXLWV
GLUHFWO\ LQIOXHQFHV PDQXIDFWXULQJ FRVWV

CS 150 - Fall 2000 - Combinational Logic - 21 CS 150 - Fall 2000 - Combinational Logic - 22

$UH DOO UHDOL]DWLRQV HTXLYDOHQW" ,PSOHPHQWLQJ %RROHDQ IXQFWLRQV

8QGHU WKH VDPH LQSXW VWLPXOL WKH WKUHH DOWHUQDWLYH 7HFKQRORJ\ LQGHSHQGHQW
LPSOHPHQWDWLRQV KDYH DOPRVW WKH VDPH ZDYHIRUP EHKDYLRU &DQRQLFDO IRUPV
GHOD\V DUH GLIIHUHQW 7ZROHYHO IRUPV
JOLWFKHV KD]DUGV PD\ DULVH 0XOWLOHYHO IRUPV
YDULDWLRQV GXH WR GLIIHUHQFHV LQ QXPEHU RI JDWH OHYHOV DQG VWUXFWXUH

7KUHH LPSOHPHQWDWLRQV DUH IXQFWLRQDOO\ HTXLYDOHQW 7HFKQRORJ\ FKRLFHV


3DFNDJHV RI D IHZ JDWHV
5HJXODU ORJLF
7ZROHYHO SURJUDPPDEOH ORJLF
0XOWLOHYHO SURJUDPPDEOH ORJLF

CS 150 - Fall 2000 - Combinational Logic - 23 CS 150 - Fall 2000 - Combinational Logic - 24
&DQRQLFDO IRUPV 6XPRISURGXFWV FDQRQLFDO IRUPV

7UXWK WDEOH LV WKH XQLTXH VLJQDWXUH RI D %RROHDQ $OVR NQRZQ DV GLVMXQFWLYH QRUPDO IRUP
IXQFWLRQ $OVR NQRZQ DV PLQWHUP H[SDQVLRQ
0DQ\ DOWHUQDWLYH JDWH UHDOL]DWLRQV PD\ KDYH WKH VDPH
WUXWK WDEOH )     
)
&DQRQLFDO IRUPV
$
%
&  $
%&  $%
&  $%&
 $%&

6WDQGDUG IRUPV IRU D %RROHDQ H[SUHVVLRQ $ % & ) )

3URYLGHV D XQLTXH DOJHEUDLF VLJQDWXUH 











    
    
    
    
    
     )
$
%
&
 $
%&
 $%
&

CS 150 - Fall 2000 - Combinational Logic - 25 CS 150 - Fall 2000 - Combinational Logic - 26

6XPRISURGXFWV FDQRQLFDO IRUP FRQWG 3URGXFWRIVXPV FDQRQLFDO IRUP

3URGXFW WHUP RU PLQWHUP $OVR NQRZQ DV FRQMXQFWLYH QRUPDO IRUP




$1'HG SURGXFW RI OLWHUDOV LQSXW FRPELQDWLRQ IRU ZKLFK RXWSXW LV WUXH
(DFK YDULDEOH DSSHDUV H[DFWO\ RQFH LQ WUXH RU LQYHUWHG IRUP EXW QRW
$OVR NQRZQ DV PD[WHUP H[SDQVLRQ
ERWK )   
$ % & PLQWHUPV ) $  %  & $  %
 & $
 %  &
) LQ FDQRQLFDO IRUP
   $
%
&
P
) $ % & P 
   $
%
& P $ % & ) )

P  P  P  P  P
   $
%&
P     
$
%
&  $
%&  $%
&  $%&
 $%&     
   $
%& P
    
   $%
&
P     
FDQRQLFDO IRUP PLQLPDO IRUP
   $%
& P     
) $ % & $
%
&  $
%&  $%
&  $%&  $%&
    
   $%&
P
$
%
 $
%  $%
 $% &  $%&
    
   $%& P     
$
 $ %
 % &  $%&

&  $%&

$%&
 &

VKRUWKDQG QRWDWLRQ IRU $%  & )


$  %  &
$  %
 &
$
 %  &
$
 %
 & $
 %
 &

PLQWHUPV RI  YDULDEOHV
CS 150 - Fall 2000 - Combinational Logic - 27 CS 150 - Fall 2000 - Combinational Logic - 28

3URGXFWRIVXPV FDQRQLFDO IRUP FRQWG 6R3 3R6 DQG GH 0RUJDQV WKHRUHP

6XP WHUP RU PD[WHUP 6XPRISURGXFWV


25HG VXP RI OLWHUDOV LQSXW FRPELQDWLRQ IRU ZKLFK RXWSXW LV IDOVH )
$
%
&
 $
%&
 $%
&

HDFK YDULDEOH DSSHDUV H[DFWO\ RQFH LQ WUXH RU LQYHUWHG IRUP EXW QRW
ERWK
$SSO\ GH 0RUJDQ
V
)

$
%
&
 $
%&
 $%
&

$ % & PD[WHUPV ) LQ FDQRQLFDO IRUP


   $%& 0
) $  %  & $  %
 & $
 %  &
) $ % & 0 
   $%&
0 0 0 0
   $%
& 0 $  %  & $  %
 & $
 %  &
   $%
&
0
   $
%& 0
3URGXFWRIVXPV
FDQRQLFDO IRUP PLQLPDO IRUP
   $
%&
0 )
$  %  &
$  %
 &
$
 %  &
$
 %
 & $
 %
 &

) $ % & $  %  & $  %
 & $
 %  &
   $
%
& 0 $  %  & $  %
 &
   $
%
&
0
$SSO\ GH 0RUJDQ
V
$  %  & $
 %  &
$  & %  &
)

$  %  &
$  %
 &
$
 %  &
$
 %
 & $
 %
 &

) $
%
&  $
%&  $%
&  $%&
 $%&
VKRUWKDQG QRWDWLRQ IRU
PD[WHUPV RI  YDULDEOHV
CS 150 - Fall 2000 - Combinational Logic - 29 CS 150 - Fall 2000 - Combinational Logic - 30
)RXU DOWHUQDWLYH WZROHYHO LPSOHPHQWDWLRQV
RI ) $%  & :DYHIRUPV IRU WKH IRXU DOWHUQDWLYHV

A :DYHIRUPV DUH HVVHQWLDOO\ LGHQWLFDO


([FHSW IRU WLPLQJ KD]DUGV JOLWFKHV
FDQRQLFDO VXPRISURGXFWV
B 'HOD\V DOPRVW LGHQWLFDO PRGHOHG DV D GHOD\ SHU OHYHO QRW W\SH RI
F1
JDWH RU QXPEHU RI LQSXWV WR JDWH
C

PLQLPL]HG VXPRISURGXFWV

F2

FDQRQLFDO SURGXFWRIVXPV

F3

PLQLPL]HG SURGXFWRIVXPV
F4

CS 150 - Fall 2000 - Combinational Logic - 31 CS 150 - Fall 2000 - Combinational Logic - 32

0DSSLQJ EHWZHHQ FDQRQLFDO IRUPV ,QFRPSOHWHOH\ VSHFLILHG IXQFWLRQV

0LQWHUP WR PD[WHUP FRQYHUVLRQ ([DPSOH ELQDU\ FRGHG GHFLPDO LQFUHPHQW E\ 


8VH PD[WHUPV ZKRVH LQGLFHV GR QRW DSSHDU LQ PLQWHUP H[SDQVLRQ %&' GLJLWV HQFRGH GHFLPDO GLJLWV   LQ ELW SDWWHUQV  
HJ ) $%& P  0 
$ % & ' : ; < =
0D[WHUP WR PLQWHUP FRQYHUVLRQ        
        RIIVHW RI :
8VH PLQWHUPV ZKRVH LQGLFHV GR QRW DSSHDU LQ PD[WHUP H[SDQVLRQ        
HJ ) $%& 0  P          RQVHW RI :
       
       
0LQWHUP H[SDQVLRQ RI ) WR PLQWHUP H[SDQVLRQ RI )
       
GRQ
W FDUH '& VHW RI :

8VH PLQWHUPV ZKRVH LQGLFHV GR QRW DSSHDU        


       
HJ ) $%& P  )
$%& P         
    ; ; ; ;
WKHVH LQSXWV SDWWHUQV VKRXOG
0D[WHUP H[SDQVLRQ RI ) WR PD[WHUP H[SDQVLRQ RI )
    ; ; ; ;
QHYHU EH HQFRXQWHUHG LQ SUDFWLFH
    ; ; ; ;
8VH PD[WHUPV ZKRVH LQGLFHV GR QRW DSSHDU     ; ; ; ; GRQ
W FDUH DERXW DVVRFLDWHG
RXWSXW YDOXHV FDQ EH H[SORLWHG
HJ ) $%& 0  )
$%& 0      ; ; ; ;
LQ PLQLPL]DWLRQ
    ; ; ; ;

CS 150 - Fall 2000 - Combinational Logic - 33 CS 150 - Fall 2000 - Combinational Logic - 34

1RWDWLRQ IRU LQFRPSOHWHO\ VSHFLILHG IXQFWLRQV 6LPSOLILFDWLRQ RI WZROHYHO FRPELQDWLRQDO ORJLF

'RQ
W FDUHV DQG FDQRQLFDO IRUPV )LQGLQJ D PLQLPDO VXP RI SURGXFWV RU SURGXFW RI VXPV
6R IDU RQO\ UHSUHVHQWHG RQVHW UHDOL]DWLRQ
$OVR UHSUHVHQW GRQ
WFDUHVHW ([SORLW GRQ
W FDUH LQIRUPDWLRQ LQ WKH SURFHVV
1HHG WZR RI WKH WKUHH VHWV RQVHW RIIVHW GFVHW
$OJHEUDLF VLPSOLILFDWLRQ
1RW DQ DOJRULWKPLFV\VWHPDWLF SURFHGXUH
&DQRQLFDO UHSUHVHQWDWLRQV RI WKH %&' LQFUHPHQW E\  +RZ GR \RX NQRZ ZKHQ WKH PLQLPXP UHDOL]DWLRQ KDV EHHQ IRXQG"
IXQFWLRQ
&RPSXWHUDLGHG GHVLJQ WRROV
3UHFLVH VROXWLRQV UHTXLUH YHU\ ORQJ FRPSXWDWLRQ WLPHV HVSHFLDOO\ IRU
= P  P  P  P  P  G  G  G  G  G  G IXQFWLRQV ZLWK PDQ\ LQSXWV ! 
= > P   G  @ +HXULVWLF PHWKRGV HPSOR\HG HGXFDWHG JXHVVHV WR UHGXFH DPRXQW
RI FRPSXWDWLRQ DQG \LHOG JRRG LI QRW EHVW VROXWLRQV
= 0 0 0 0 0 ' ' ' ' ' '
= > 0  '  @
+DQG PHWKRGV VWLOO UHOHYDQW
7R XQGHUVWDQG DXWRPDWLF WRROV DQG WKHLU VWUHQJWKV DQG ZHDNQHVVHV
$ELOLW\ WR FKHFN UHVXOWV RQ VPDOO H[DPSOHV
CS 150 - Fall 2000 - Combinational Logic - 35 CS 150 - Fall 2000 - Combinational Logic - 36
7KH XQLWLQJ WKHRUHP %RROHDQ FXEHV

.H\ WRRO WR VLPSOLILFDWLRQ $ %


 % $ 9LVXDO WHFKQLTXH IRU LQGHQWLI\LQJ ZKHQ WKH XQLWLQJ
WKHRUHP FDQ EH DSSOLHG
(VVHQFH RI VLPSOLILFDWLRQ RI WZROHYHO ORJLF
)LQG WZR HOHPHQW VXEVHWV RI WKH 21VHW ZKHUH RQO\ RQH YDULDEOH Q LQSXW YDULDEOHV QGLPHQVLRQDO FXEH
FKDQJHV LWV YDOXH WKLV VLQJOH YDU\LQJ YDULDEOH FDQ EH HOLPLQDWHG DQG
D VLQJOH SURGXFW WHUP XVHG WR UHSUHVHQW ERWK HOHPHQWV  

 
<
) $
%
$%
$
$ %
%
FXEH FXEH
;
 
$ % ) ;
% KDV WKH VDPH YDOXH LQ ERWK RQVHW URZV
   % UHPDLQV  

  
  
FXEH
   FXEH <
= 
$ KDV D GLIIHUHQW YDOXH LQ WKH WZR URZV <
$ LV HOLPLQDWHG =
 ; :

 ;

CS 150 - Fall 2000 - Combinational Logic - 37 CS 150 - Fall 2000 - Combinational Logic - 38

0DSSLQJ WUXWK WDEOHV RQWR %RROHDQ FXEHV 7KUHH YDULDEOH H[DPSOH

8QLWLQJ WKHRUHP FRPELQHV WZR IDFHV RI D FXEH LQWR D %LQDU\ IXOODGGHU FDUU\RXW ORJLF
ODUJHU IDFH $
$ %&LQ
$ % &LQ &RXW
([DPSOH WZR IDFHV RI VL]H  QRGHV     $% &LQ
&LQ
) 
$ % ) FRPELQH LQWR D IDFH RI VL]H  OLQH    
     
  
%    
  
    % & 
        
$  $ %%
&LQ
       $
   

$ YDULHV ZLWKLQ IDFH % GRHV QRW WKH RQVHW LV FRPSOHWHO\ FRYHUHG E\


WKLV IDFH UHSUHVHQWV WKH OLWHUDO %
WKH FRPELQDWLRQ 25 RI WKH VXEFXEHV
RI ORZHU GLPHQVLRQDOLW\  QRWH WKDW 
21VHW VROLG QRGHV
LV FRYHUHG WKUHH WLPHV
2))VHW HPSW\ QRGHV
'&VHW
G QRGHV
&RXW %&LQ$%$&LQ
CS 150 - Fall 2000 - Combinational Logic - 39 CS 150 - Fall 2000 - Combinational Logic - 40

PGLPHQVLRQDO FXEHV LQ D QGLPHQVLRQDO


+LJKHU GLPHQVLRQDO FXEHV %RROHDQ VSDFH

6XEFXEHV RI KLJKHU GLPHQVLRQ WKDQ  ,Q D FXEH WKUHH YDULDEOHV 


FXEH LH D VLQJOH QRGH \LHOGV D WHUP LQ  OLWHUDOV
) $%& P  FXEH LH D OLQH RI WZR QRGHV \LHOGV D WHUP LQ  OLWHUDOV

RQVHW IRUPV D VTXDUH


FXEH LH D SODQH RI IRXU QRGHV \LHOGV D WHUP LQ  OLWHUDO
LH D FXEH RI GLPHQVLRQ  FXEH LH D FXEH RI HLJKW QRGHV \LHOGV D FRQVWDQW WHUP 
 
 UHSUHVHQWV DQ H[SUHVVLRQ LQ RQH YDULDEOH
,Q JHQHUDO
 LH  GLPHQVLRQV  GLPHQVLRQV

 PVXEFXEH ZLWKLQ DQ QFXEH P  Q \LHOGV D WHUP ZLWK Q P OLWHUDOV


% &  $ LV DVVHUWHG WUXH DQG XQFKDQJHG
% DQG & YDU\
 $ 
7KLV VXEFXEH UHSUHVHQWV WKH
OLWHUDO $

CS 150 - Fall 2000 - Combinational Logic - 41 CS 150 - Fall 2000 - Combinational Logic - 42
.DUQDXJK PDSV .DUQDXJK PDSV FRQWG

)ODW PDS RI %RROHDQ FXEH 1XPEHULQJ VFKHPH EDVHG RQ *UD\FRGH


:UDSDURXQG DW HGJHV HJ    

+DUG WR GUDZ DQG YLVXDOL]H IRU PRUH WKDQ  GLPHQVLRQV 2QO\ D VLQJOH ELW FKDQJHV LQ FRGH IRU DGMDFHQW PDS FHOOV

9LUWXDOO\ LPSRVVLEOH IRU PRUH WKDQ  GLPHQVLRQV


$% $
$OWHUQDWLYH WR WUXWKWDEOHV WR KHOS YLVXDOL]H &    
 $
DGMDFHQFLHV
   
*XLGH WR DSSO\LQJ WKH XQLWLQJ WKHRUHP    
& 
2QVHW HOHPHQWV ZLWK RQO\ RQH YDULDEOH FKDQJLQJ YDOXH DUH DGMDFHQW    
    '
XQOLNH WKH VLWXDWLRQ LQ D OLQHDU WUXWKWDEOH %
$ % ) $    
$
%      &
       
      %
  &   $%&'
       
  %
 
  
CS 150 - Fall 2000 - Combinational Logic - 43 CS 150 - Fall 2000 - Combinational Logic - 44

$GMDFHQFLHV LQ .DUQDXJK PDSV .DUQDXJK PDS H[DPSOHV


:UDS IURP ILUVW WR ODVW FROXPQ ) $
 
:UDS WRS URZ WR ERWWRP URZ %
%
 
&RXW

  I $%& P  $


$     $% $&LQ  %&LQ

    
 &LQ    
&     % &  $ %
%      
$
&     REWDLQ WKH
FRPSOHPHQW
% $&  %&  $%
RI WKH IXQFWLRQ
E\ FRYHULQJ V
ZLWK VXEFXEHV
CS 150 - Fall 2000 - Combinational Logic - 45 CS 150 - Fall 2000 - Combinational Logic - 46

0RUH .DUQDXJK PDS H[DPSOHV .DUQDXJK PDS YDULDEOH H[DPSOH

$
    ) $%&' P 
* $%& $
&     &  $%'  %'
)
%
$ 

$    
   
) $%& P  $&  %&    
&     '
<
    =
% & : 
     ;
$
)
VLPSO\ UHSODFH 
V ZLWK 
V DQG YLFH YHUVD %
   
)
$%& P  %&  $& ILQG WKH VPDOOHVW QXPEHU RI WKH ODUJHVW SRVVLEOH
&     VXEFXEHV WR FRYHU WKH 21VHW
% IHZHU WHUPV ZLWK IHZHU LQSXWV SHU WHUP

CS 150 - Fall 2000 - Combinational Logic - 47 CS 150 - Fall 2000 - Combinational Logic - 48
.DUQDXJK PDSV GRQW FDUHV .DUQDXJK PDSV GRQW FDUHV FRQWG

I $%&' P   G  I $%&' P   G 


ZLWKRXW GRQ
W FDUHV I $
'  %
&
' ZLWKRXW GRQ
W FDUHV
I $'  %&' I $
'  &
' ZLWK GRQ
W FDUHV

$ $
E\ XVLQJ GRQ
W FDUH DV D 
  ;    ;  D FXEH FDQ EH IRUPHG
UDWKHU WKDQ D FXEH WR FRYHU
  ; 
  ; 
' ' WKLV QRGH

       
& & GRQ
W FDUHV FDQ EH WUHDWHG DV
 ;   V RU V
 ;  
% % GHSHQGLQJ RQ ZKLFK LV PRUH
DGYDQWDJHRXV

CS 150 - Fall 2000 - Combinational Logic - 49 CS 150 - Fall 2000 - Combinational Logic - 50

'HVLJQ H[DPSOH WZRELW FRPSDUDWRU 'HVLJQ H[DPSOH WZRELW FRPSDUDWRU FRQWG

$ % & ' /7 (4 *7 $ $ $
      
                
$     
1 /7 $%&'                 
%       
(4 $% &' ' ' '
&     
1 ' *7 $%!&'                 
     & & &
                  
    
     % % %
    
EORFN GLDJUDP        .PDS IRU /7 .PDS IRU (4 .PDS IRU *7
DQG     
WUXWK WDEOH     
    
/7 $
%
'  $
&  %
& '

(4 $
%
&
'
 $
% &
'  $ % & '  $ %
& ' $ [QRU & % [QRU '
ZH
OO QHHG D YDULDEOH .DUQDXJK PDS
*7 % &
'
 $ &
 $ % '

IRU HDFK RI WKH  RXWSXW IXQFWLRQV

/7 DQG *7 DUH VLPLODU IOLS $& DQG %'

CS 150 - Fall 2000 - Combinational Logic - 51 CS 150 - Fall 2000 - Combinational Logic - 52

'HVLJQ H[DPSOH WZRELW FRPSDUDWRU FRQWG 'HVLJQ H[DPSOH [ELW PXOWLSOLHU

$ % & ' $ $ % % 3 3 3 3
       
     
     
WZR DOWHUQDWLYH      
LPSOHPHQWDWLRQV RI (4 $ 3        
ZLWK DQG ZLWKRXW ;25 $ 3
     
     
% 3      
(4 % 3        
     
     
     
       
EORFN GLDJUDP      
DQG      
WUXWK WDEOH      
;125 LV LPSOHPHQWHG ZLWK
DW OHDVW  VLPSOH JDWHV
(4 YDULDEOH .PDS
IRU HDFK RI WKH 
RXWSXW IXQFWLRQV

CS 150 - Fall 2000 - Combinational Logic - 53 CS 150 - Fall 2000 - Combinational Logic - 54
'HVLJQ H[DPSOH [ELW PXOWLSOLHU FRQWG 'HVLJQ H[DPSOH %&' LQFUHPHQW E\ 

$ $
.PDS IRU 3 .PDS IRU 3
        , , , , 2 2 2 2
3 $%%
       
               
%  $$
% %        
       
               
% 3 $$%% % , 2
       
        , 2        
$ $        
, 2        
, 2        
$ $     ; ; ; ;
.PDS IRU 3 .PDS IRU 3     ; ; ; ;
            ; ; ; ;
3 $%     ; ; ; ;
        EORFN GLDJUDP
    ; ; ; ;
% %     ; ; ; ;
DQG
        WUXWK WDEOH
% 3 $
$% %
YDULDEOH .PDS IRU HDFK RI
     $%%
    WKH  RXWSXW IXQFWLRQV
$  $%
% $
 $$
%

CS 150 - Fall 2000 - Combinational Logic - 55 CS 150 - Fall 2000 - Combinational Logic - 56

'HILQLWLRQ RI WHUPV IRU WZROHYHO


'HVLJQ H[DPSOH %&' LQFUHPHQW E\  FRQWG VLPSOLILFDWLRQ

, ,
2 2 ,PSOLFDQW
  ;    ; 
6LQJOH HOHPHQW RI 21VHW RU '&VHW RU DQ\ JURXS RI WKHVH HOHPHQWV WKDW
  ;    ;  FDQ EH FRPELQHG WR IRUP D VXEFXEH
, ,

  ; ; 2 , , ,  , ,
  ; ; 3ULPH LPSOLFDQW
,
2 , ,
 , ,
 , , ,, ,PSOLFDQW WKDW FDQ
W EH FRPELQHG ZLWK DQRWKHU WR IRUP D ODUJHU VXEFXEH
  ; ;   ; ;
2 , , ,  , ,

, ,
(VVHQWLDO SULPH LPSOLFDQW
2 ,

, , 3ULPH LPSOLFDQW LV HVVHQWLDO LI LW DORQH FRYHUV DQ HOHPHQW RI 21VHW


2 2
  ;    ;  :LOO SDUWLFLSDWH LQ $// SRVVLEOH FRYHUV RI WKH 21VHW
'&VHW XVHG WR IRUP SULPH LPSOLFDQWV EXW QRW WR PDNH LPSOLFDQW HVVHQWLDO
  ;    ; 
, ,

  ; ;   ; ; 2EMHFWLYH
, , *URZ LPSOLFDQW LQWR SULPH LPSOLFDQWV PLQLPL]H OLWHUDOV SHU WHUP
  ; ;   ; ;
&RYHU WKH 21VHW ZLWK DV IHZ SULPH LPSOLFDQWV DV SRVVLEOH
, ,
PLQLPL]H QXPEHU RI SURGXFW WHUPV

CS 150 - Fall 2000 - Combinational Logic - 57 CS 150 - Fall 2000 - Combinational Logic - 58

([DPSOHV WR LOOXVWUDWH WHUPV $OJRULWKP IRU WZROHYHO VLPSOLILFDWLRQ

$ $OJRULWKP PLQLPXP VXPRISURGXFWV H[SUHVVLRQ IURP D


 ;    SULPH LPSOLFDQWV
.DUQDXJK PDS
$
%
' %&
 $& $
&
' $% %
&'
   
' 6WHS  FKRRVH DQ HOHPHQW RI WKH 21VHW
HVVHQWLDO
   
& 6WHS  ILQG PD[LPDO JURXSLQJV RI V DQG ;V DGMDFHQW WR WKDW HOHPHQW
    PLQLPXP FRYHU $&  %&
 FRQVLGHU WRSERWWRP URZ OHIWULJKW FROXPQ DQG FRUQHU DGMDFHQFLHV
% $
%
' WKLV IRUPV SULPH LPSOLFDQWV QXPEHU RI HOHPHQWV DOZD\V D SRZHU RI 

$ 5HSHDW 6WHSV  DQG  WR ILQG DOO SULPH LPSOLFDQWV


 SULPH LPSOLFDQWV    
%' $%&
 $&' $
%& $
&
' 6WHS  UHYLVLW WKH V LQ WKH .PDS
   
' LI FRYHUHG E\ VLQJOH SULPH LPSOLFDQW LW LV HVVHQWLDO DQG SDUWLFLSDWHV LQ
    ILQDO FRYHU
HVVHQWLDO
& V FRYHUHG E\ HVVHQWLDO SULPH LPSOLFDQW GR QRW QHHG WR EH UHYLVLWHG
    6WHS  LI WKHUH UHPDLQ V QRW FRYHUHG E\ HVVHQWLDO SULPH LPSOLFDQWV
PLQLPXP FRYHU  HVVHQWLDO LPSOLFDQWV
% VHOHFW WKH VPDOOHVW QXPEHU RI SULPH LPSOLFDQWV WKDW FRYHU WKH UHPDLQLQJ
V
CS 150 - Fall 2000 - Combinational Logic - 59 CS 150 - Fall 2000 - Combinational Logic - 60
$OJRULWKP IRU WZROHYHO VLPSOLILFDWLRQ H[DPSOH &RPELQDWLRQDO ORJLF VXPPDU\

$ $ $ /RJLF IXQFWLRQV WUXWK WDEOHV DQG VZLWFKHV

;    ;    ;    127 $1' 25 1$1' 125 ;25    PLQLPDO VHW

            $[LRPV DQG WKHRUHPV RI %RROHDQ DOJHEUD


' ' ' 3URRIV E\ UHZULWLQJ DQG SHUIHFW LQGXFWLRQ
 ; ;   ; ;   ; ; 
& & & *DWH ORJLF
           

% % %
1HWZRUNV RI %RROHDQ IXQFWLRQV DQG WKHLU WLPH EHKDYLRU

 SULPHV DURXQG $
%&
'
 SULPHV DURXQG $%&
'
&DQRQLFDO IRUPV
$ $ $ 7ZROHYHO DQG LQFRPSOHWHO\ VSHFLILHG IXQFWLRQV
;    ;    ;   
6LPSOLILFDWLRQ
           
' ' ' 7ZROHYHO VLPSOLILFDWLRQ

 ; ;   ; ;   ; ;  /DWHU
& & &
            $XWRPDWLRQ RI VLPSOLILFDWLRQ

% % % 0XOWLOHYHO ORJLF

 SULPHV DURXQG $%
&
'
 HVVHQWLDO SULPHV PLQLPXP FRYHU  SULPHV 'HVLJQ FDVH VWXGLHV

7LPH EHKDYLRU
CS 150 - Fall 2000 - Combinational Logic - 61 CS 150 - Fall 2000 - Combinational Logic - 62

You might also like