???'??? '????'??' ('??) ??

?  ??'??'? ?'???' ?? ??? ?+'?' ?'?'??? '? '? ???'?????? ?''????' ??'????'? ?? ?'??, '? 0 1 '? ? ???'? '?', ?+??? ???'???? ??-'? ??' ??? ??, ??'??? ?'?' "'??" "?'?". ? ??'??, ??%? '?????' ???'????, ??' +''? ?''??? '?. ??'????', '????% ??'??' ???'????, ?'?'?? '??'?'?'?? (????, ''?''?, ?'). ?' ' ???', ?' '?'''??' ???' +'' ?'??'?. ??? +'' ???' ??' ??'????' ??'?? ?''??'?? - -'????' ?', ???'??% ?+?? ?'??????' ?'??'?. ?''????' ??', ?'??' ??+??'?' ??'' '?'?? ? '?????' ????? ?''???? '? (+?'+'??') , ?'' ?''? '?'????? -'?????.

? ?'??'???? ???? ???R???R ???? ??''? ?+ ??''?'?'?? ?????' ''?''?, '?-R???R - ???'''?? ?????' ''?''?:

____/____/_____/____ ? & ' &
?? 1 ? V ' V

'?? ?'??'' ??' ?? ' ???'?? ?? ?'?? '?, ? ?'??' ????' ?''?? ??'', ?+???' ??'??? ? - " ?'??'?'" ?''???? ??'- 1 - "?'" ?''???? ??'. ????'??? '??? ?'??'?? ?'?'?? ??'?, '?'???%? '??? ?????. ?' ? ? ??'?' ?'?', ???''?'??%? 1, '? ? '? +?' ?. ? ??+???'. ? ?'?? '??' ?? ?. ? '????'??' ?? ?? ?+??'??:

?? 2
'??? ?'??', '?'???%? '??? ?'??, ?''?? '?-R???. ?? ?', ?????, ?. ? '????'??' ?? ?? ?+??'??:
?? 3
'??? ?'??', '?'???%? '??? ?????, ?''?? ???R???. ?? ?', ?????, ?. ? '????'??' ?? ?? ?+??'??:
?? 4

'??' '?? ?'??'? '? ?' ?'?'???' ?', '.. ? => ' ???? ??'? ? %? V ' ; ? <=> ' ???? ??'? ? (A & B)V(%A & %B).

'?? '?? ?'??'' ??'???' ?' '? ???'?? '?'???' +?' ?'??' '?? ??+???? ?'???. ?', '?+?'??'? ??? '??? ?'??'??, ???? ?'? ? ? ???? ?'??', ?'? ' ??????'? ?+??''? ? ?''??' '?? ?'??'?. ????:

?? 5

-' ?? ???''?'?' ?'???? '???? '?? F(A,B)= % (? V ').

????+??' ???''? ???? ?''???? ??' ?'?? ??. ????, ? ?? ?''???? ??' (0 ' 1) +?' ? '?, ?' ? ?: ?=1 '=0.

'?? ?'??'? ?'?'?? '?'????? ??T'???. '?? ??'????' , ???????, ??? ??? ?+???' ????????'?' ?' ( % ?'?' ????'?? ' '?'????? ????). ?? ???? '????'???? ?? ???? ??''? '???? '????'?, ? ?'???? ?' ?? ?+?'', ??+???'.

-?'???:

??'' ??' '? '???:

  1. F (A, B) = %A & %B
  2. G (X, Y) = % (%X V %Y)

??'' ??' ? '? '? ?'?' ???' ??'? (0, 1).

???'??? '??? '??'?, ???' ?' 3 ?????.

?''? ''??


?? ??'??? ?'?'? ??' ????+ ??+'?'? ?'?
''???? ?.?. ?.'., 2009-2011

?'?@Mail.ru     

Hosted by uCoz