????????, ?? ????? ?????? ?????? ????? ????? ??????????, ?? ?????? ???????? ??????? ???????????. ??? ????? ????? (????? ?????????????? ???????), ?? ???????? ? ????? ??????? ????????????? ??????? ??????? ?????? ????????? ?????. ???????? ???????? ??????? ????? ?????? ? ????????? ????????? ? ???????????? ? ????????? ?????????????.
????????????? ???????? - ?? ????? ?? ?????? ?????????? ????, ?? ??? ???????????? ????????????, ???????? ?? ?????????? ??? ???????????????? ?????. ???? ???? ?????????? ???????? ?????? ?????? ????? ? ????????? - ??????? ????? ??? ???????????? ??????? (????? ????????? ??? ????????, ????????? ?????? ??????? ?????? ??? ?? ???????????). ?????????, ??? ???????? ????????? ????? ????? ? ????? ? ????????????? ???????, ? ????????????? ?? ????? ???????????? - ???????? ??????.
????? ?????????????? ??????? ??????????? ? ????? ???????? ??????. ?? ??????? ? ??? (??????'????????) ???????? ???????????? ???????? ??????? ???????????? ?? ?????? ???????? (?????????, ???????????? ??????????? ???? ????????????? ???????????? ?? ????????, ?? ?????????? ???????????? ???????? ??????? ?????????? ????).
?? ??????? ????? ? ???????????? ??????????? ??????? ? ????????, ? ?? ???????? - ???????????? ??????????? ????? ???????????? ? ???? ?????????????? ? ?????????? ????, ??'??????? ??????? ? ???????? ? ?? ??????????? ?????????????? ?????????. ?? ???. 3 ????????? ?????? ??????? ??? ?????? ?????????????? ??????? (?????? ????? ?????????????? ???????? ???? ??????????? ? ????? 1 - “?????" - ??? 0 - “?? ?????").
?) ??????????: (?(1(>b(1) & (?(0(>b(0))))))
? b
??) ???????????: (?(1(>b(0) & (a(0(>b(1))))))
~
? b
?) ???'??????: (a(1(b(1(>?(1) & (a(0&b(>0 >?(0))))))))
?
( ?
b
?) ???'??????: (a(1&b(1(>?(1) & (a(0(b(0(>?(0)))))))))
?
& ?
b
???. 3
?? ?????????? ????? ????????????? ???????? ?????????????? ???????????, ??? ??????? ????????? ?? ?????????? ?????? ? ???????. ?? ???. 4 ????????? ????? ??????????, ???????? ?? ?????????.
?) ?????????? ?????? ? ??????:
?
? (a(1(b(1)^~(a(1&b(1)) ( (a(0&b(0))))))))
b
?) ????????? ??? ?? ?????? ???????:
?
I (a(1(b(1)&~(a(0&b(0) )))))
b
?) ????? ???? ? ?????? ???? ???????:
?
??? (a(1(b(1)&~(a(1&b(1)&~(a(0&b(0) )))))))
b
?) ???? ??????? ????????? ?? ????? ????:
?
R ~(a(1&b(0) ))
b
?) ???? ???????? ???????? ? ???? ????:
?
M (a(1&b(0)&(a(1&b(1) ))))
b
???. 4
?'???? ???? - ????????????? ???????? ?????????????? ? ??????? ??????:
??????????? ????????, ??? ?????????????? ? 1;
??????????? ??? ?????????? ?????? (? ??????????? ????????),
??? ???????????? ??????? ???????? ? 1