:

. ' , 00..00
' 0 .
. ' , 11..11
' 1 .
. ' :
( a 0x 0 ) ( a 1x 1 ) ( a2x 2 ) ( AnXn ) B . '
' .

 .1 Full subtractor ?
:
:

)S=XOR(a,e,bin
)Bout=a'e+bin(a'+e
S ( a , a , a )=a

B ( a ,a ,a )=0+ a=a

AND/OR .NOT
.
:
] B ( a' , e , 0 )=ae[] S ( a , 0,1 )=a' [ NOT
) 1 0(.
~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~
.2 Half subtractor ?
:
:

)S=XOR(a,e
Bout=a'e
0 S ( a , a )=0

B ( a ,a )=0

AND/OR .NOT
.
:
] B ( a' , e )=ae [] S ( a ,1 )=a' [ NOT
) 1(.

.3 Full Adder ?
:

)S=XOR(a,b,cin

)cout=ab+cin(a+b
S ( a , a , a )=a

C ( a , a , a ) =a+a=a

AND/OR .NOT
.
:
] C ( a , b , 0 ) =ae [ ] S ( a , 0,1 )=a' [ NOT
) 1 0(.
~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~
.4 Half Adder ?
:
:

)S=XOR(a,b

cout=ab
0 S ( a , a )=0

C ( a , a ) =a

AND/OR .NOT
.
:
] C ( a , b ) =ae [ ] S ( a ,1 )=a' [ NOT
) 1(.

.5 } {g ( x , y )=xy , f ( 0, a )=a ?
:
' f:

 f , . f (0,0)=0 :,
F

X,Y

0,0

0,1
1,0
1,1

. g(0,0)=0 : 2
.

.
,
:
f ( x , y ) =xor ( x , y ) :
,: :

'

] f ( x ,1 ) =X [ NOT

:
][ g ( x , y )=xy

1.
~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~
.6 1<--2 ?
:
:
M ( A , B , S ) =S ' A+ SB :
M ( a ,a , a )=0+a=a

] M ( 1,0, S )=S' [ NOT

M ( 0,0,0 )=0

M .

.
:
][ M ( 0, B , A )=0+ AB= AB

0 1.
.7 4 <--2 ? ] [ENABLE
:
:
'D 0 ( A , B ) = A ' B
D1 ( A , B )= A' B

D 2 ( A , B )= A B' D 3 ( A , B )= AB

 D3 .AND
:

D 2 ( a , a )=0 :

' [NOT ] D 0 ( a , 0 )=a

" AND
NOT .
~~~~~~~~~~~~~
~~~~~~~~~~~~~
~~~~~~~~
.8 4 <--2
? ] [ENABLE
:
:
' Y 0 ( A , B )=EA' B
Y 1 ( A , B )=EA ' B

' Y 2 ( A , B )=EAB

Y 3 ( A , B )=EAB

..Enable ,
ENABLE..