, , . , , , 0 1. . .
, .
(), inversio , , , ;
_
: A, A, -A;
:
A | _ A |
, , , , , .
():
(), conjunctio , ( : , ,)
: ×, , &, , , and.
:
A | B | A B |
, .
():
(), disjunctio - : ;
: +, , or, .
:
A | B | A B |
, .
()
( ), implicato - ....
: →;
:
A | B | A→B |
, , , .
(), aequivalens :
: =, ↔;
:
A | B | A↔B |
, , .
:
1. ;
2. ;
3. ;
4. ;
5. ;
6. .
, , .
. A B (0)?
|
|
F
A | B | |||||
, F 0 A =1 B =1.
, , , .
. (, , , D) F =1.
.
1) . , . , .
2) . , . , .
3) - . - , .
, , D, , 1 (True). , A=1, B=1, C=0, D=0.