* (), ,
*, : " , * , * ".
: "").
. Ÿ .
(AND)
AND: &
, a b. 1, a b 1, () , 0. and.
a( 1) | b( 2) | a( 1) & b( 2) |
(OR)
OR: |
(a b). 0, a b 0 (), () , 1 (). OR.
a( 1) | b( 2) | a( 1) | b( 2) |
(XOR).
XOR: ^
(a b). XOR 1 (), a b 1 (), , 0 (). .
a( 1) | b( 2) | a( 1) ^ b( 2) |
(not)
NOT: ~
. . , NOT . .
a( 1) | ~a( ) |
. Ÿ .
- , , . , (), () .
A | B | F |
. Ÿ .
́ ( ́ [1]) . ≡ ↔.
:
|
|
A | B | A ≡ B |
, A ≡ B A , B, A B, A , B.
. :
X Y , .