?

1
?????????? ?????? ? ??????? ??????????????
?????????? ?????????
2
???????? ?????? ?????????? ??????

• ????? ?????????
• ? ?
• ????? ??????????????
• ??A0
• ????? ?????????? ????????
• ????1
• ????? ???????? ?????????
• ????

• ? ???????? ??????????? ?????? ????????? ????
  ??????? ??????
• ?? ????? ???? ???????????? ????????? ???????? ?
  ??? ?????????
• ???????????? ????? ???? ???? ???????? ????
  ??????, ???????? ?? ????
• ???? ???????? ?????? ????????? ????????, ??
  ?????????? ???????? ????????

3
???????? ????????

• ?01 ?10
• ??0? ?00
• ??11 ?1?

4
?????? ??????? ??????

• ???????????????
• ???? ???
• ???????????????
• ? ? ?? ? ? ????
• ???????????????
• ? ? (? ? ?) (? ? ?) ? ?
• ? (? ?) (? ?) ?

5
?????? ??????? ??????

• ????????????????
• ? ? (? ?) (? ? ?) (A? ?)
• ? (? ? ?) (? ?) ?(A?)
• ??????????
• ? ? (? ?)? ? (? ? ?)?
• ?????? ?? ???????
• ?(? ??) ? ??? ?(? ?) ? ? ? ??

6

• ??????? ?? ??????

?????? ??????? (????????) ??
(27.6.1806-18.3. 1871) - ??????????? ????????? ?
?????. ????????? ???????c???? ????????????????
???????? (1847?.), ???? ??????????? ????????????
????????. ?????? ????????? ???????????
??????????????? ????????. ??????? ? ??????
(?????). ?????? ? ???????-??????? (? ?????????).
????????? ?????????? ? ??????????????? ???????? ?
???????. ???????? ????? ?? ???????,
??????????????? ??????? ? ?????????????? ??????.
? ?????? ????? ?????? ??????????????? ????? ???
????????? ?????????? ????????? ???????
???????????? ?????. ???? ?? ???????????
?????????? ???????. ????????? ?????? ??. ??????,
?????? ? 1841-1847 ??. ??????????? ??? ????? ??
??????? ???????. ? ???????? "?????????? ??????
??? ?????????? ??????? ??????????? ? ?????????"
(1847?.), ?????? ?????????? ?????? ???????????
???????? ??. ????. ??????? ?????? ??????? ??????
?????? ????????? - ???????, ?? ??????????
?????????????? ????????????????. ??????? ?????
???????????? ?????, ? ????????? ????? "??????
??????????" (1872?.). ??????? ????? ???? ????? ?
??????????? ?????? ?????? ? ?????????????? ?
?????????. ?????????? ?????????????? ????????
???????? ?????? ??. ?. ???????.
7
??????? ?????? ????????

• ??????????
• ?? ? ?? ? B ?? ? ? B? A
• ???????????????
• ??? (?B) ? (?A ?B)
• ??? (? ? ? B) ? (?A ? B)
• ??? (? ? B) (B ? A)

8
????????? ??????? ????????????

• - ??? ?????? ?? ?? ???????????? ?? ?????? ???????
  ??????? ???????????? ? ? ????? ?????????
  ???????????? ????? ??????? ?????

9
???????? ?????? ??????

• XX?1 ?
• XX?0 ?
• 1? ? ??
• 0? ? ? ?
• ZZ ?Z ? Z
• CC ?C ? C
• ? ? ??

• ?? ????????? ????????
• ?? ?????? ?????????? ????????
• ?? ?????? ??????????????
• - ?? ??????
• ???????????????
• - ?? ?????? ???????? ?????????

10
??????

• ????????? ? ?? ? ? ? ? ?

?? ?????? ???????????????? ??????? ? ?? ??????
? ? ? ? ? ? ? ?
? ? 1
?
? ?(? ? ? ?)
????????? (? ? ? ) (? ? ? ?)
????????? ?(? X ? ? Y )
11
??????? 2. ????????? ?????????? ????????? F (A
v B)? (B v C).

• ????????? ?? ?????????? ? ?????????.
  ????????????? ((A?B)A B). ?????????
  ((AvB)? (BvC)) (AvB) ((BvC)).
• ???????? ????? ???????? ?????????, ???????(A v
  ?) ((? v ?)) (A v ?) (B v ?).
• ???????? ??????? ???????????????? ((AB) (AC)
  A(BC)). ??????? (Av?) (B v ?)
  (AvB)Bv(AvB)C
• ???????? ????? ??????????????? (ABBA ) ?
  ???????????????? (16). ??????? (AvB)Bv(AvB)C
  ABvBBvACvBC.
• ???????? (? A A) ? ??????? ABvBBvACvBC
  ABvBvACvBC
• ???????? ((AB) v(AC) A(BvC) ), ?.?. ???????
  ?? ?????? ?.???????ABvBvACvBC B
  (Av1)vACvBC.
• ???????? (?v 1 1 ). ???????B (Av1) vACvBC
  BvACvBC.
• ?????????? ??????? ?????????, ??????????? ?
  ??????? ? ?? ??????. ???????BvACvBC B
  (1vC)vAC.
• ???????? (?v 1 1 ) ? ??????? ?????
  B(1vC)vACBvAC.

12

• ??????????? ??????????
• ?1.
• ????????? ?????????
• F (AB) v (BvC).
• F (A?B) v (B?A).
• F ACvAC.
• F ?Av?Bv?CvAvBvC

• ?2
• ????????? ?????????
• F (XYv (XY)).
• F ?X (?YvX).
• F (XvZ) (Xv?Z) (?YvZ).

13

• ?????? ? ? 1
• F (AB) v (BvC) ?Av?B.
• F (A?B) v (B?A) 1.
• F ACvACC.
• F ?Av?Bv?CvAvBvC1.

• ?????? ? ? 2
• F (XYv (XY)) 0.
• F ?X (?YvX) ?XY.
• F (XvZ) (Xv?Z) (?YvZ) X(?YvZ).

14
???????? ??????

• ????????? ?????????? ?????????
• ?X1
• F ?? (? ? (?? ? ? ?? Y))
• F B(AvAB)
• 0Xv0
• F ?? ? ??? (?? (? ? Y? ?? Y))
• F (AvC)(AvC)(BvC)
• 0vX1
• F ?? ? ? (??(??Y ??? ?))
• FAB v ABv ABvBC

15
?????????
- ) - ????????? ???? - ( -
???????? ???? - ) - ?????????????
?????? 0 ) - ????? 8-) -
????????? ???????
16

• ???? ?? ????????, ??? ?????? ??????????,
  ?????????? ? ???????? ? ???? ??? ??????????, ??
  ????????? ??????????? ???????
• ???? ?? ???????? ???????????? ????? ??????, ??
  ???? ??? ?? ??????????, ?? ?????????
• ???? ???? ??? ??????????, ?? ?? ?? ??????
  ?????????? ?? ????? ?????????, ?? ?????????
• ???? ???? ??? ?? ?????????? ? ?? ??????????
  ???????????? ????? ?????? ?? ?????, ?? ?????????
• 
  

- ))
- )
- I
- (