1. , ,
3.
4. .
, , ( ) [4].
, , [4].
( ) 1, ( ) 0.
(. 1):
1.
, .. , , ( , , , ; , , 8 , ) |
, , , , . . . , . , , .
, .
, . , , , , , :
.
, ( , ), .
(. 2):
2.
- | - | ||||
Ù, & *, And | A | A Ù B, A & B A * B, A And B | |||
Ú +, Or | A | A Ú B A + B, A Or B | |||
, | , , Not | , , Not A | |||
, | →, Þ | A, | A → B A Þ B | ||
, , | , º Û, ~ | , | , º Û, ~ |
, :
|
|
Ø | Ú | Ù | |||||||
Þ | Û | |||||
:
A → B = Ú B | (1) |
, :
A B = ( Ú B) Ù (B Ú ) | (2) |
(. 3) (. 4). , .
3.
A | B | A Ú B | A Ù B | A |
4.
() | |
( ) | |
( ) | |
() | |
() | () |