???'??? '+' ?'????' '? ?'??' '?'??

??'????'? ' '????'? ?'??' ???? ??''?' ??+?? '??? ?'????' ' '????' ???''. -'? '??? ?'?' '?''?T ?????T ?-'??T (F(A,B)). ????'?? ???' ??'???? '+' ?'????' '? ?'??' ????.

1. %%? <=> ? (?? "?'??? ?'???": ?'?? ?'??? ???? '??'??? ????? ????.)

? %? %%? %%A<=>A
? ' ? ?

'

 ? ' ?

    ?' ?? ?'????' +?'?? '?? ? ?'?, '? ?' '??? '?' -????.

2. ((? => ') & %') => %A (?''??'? "?' ??'???": ?' ? '' ', ?? ' ? ???, '? ? ??? ?.)

A B A=>B %B (A=>B)&%B %A ((A=>B)&%B)=>%A
?

?

'

'

 ?

'

?

'

 ?

'

?

?

 '

?

'

?

 '

'

'

?

 '

'

?

?

 ?

?

?

?

?? ??'? ??? ??'? (?' ?? ? ? ??+?)?'?' ???'?, '? '?? ?'??? ????? ??' ???''.


-?'???:

??'?' ?'?' ????? '+'? ?'????' '? ? '?? '??? :

A B Ā A & B A V B A => B A <=> B
?

?

'

'

 ?

'

?

'

          

??'?' '+'' ?'????' '? ?'??% '???:

  1. Ā => '
  2. ' & (? V ')
  3. ' & (Ā V ')
  4. (Ā => ') V (? & ')

?''? ''??


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

?'?@Mail.ru     

Hosted by uCoz