()
, .
. { }.
:
, .
:
, . , .
( ) { }, ( ) , :
:
, , .
:
x
:
:
( 0)
( 0)
( 1)
( 1)
, ,
,
: , , . , , .
. .
,
. . , ( ). , .
() , , ..
:
.
1. , ( )
|
|
1). (A→B)∨(C∧B); | 16). (A∧B)∨(C∧B); |
2).(A→B)↔(C∧B); | 17). (A↔B)∧(C∨B); |
3).(A∨(C∧B); | 18). (A→B)∨(C→B); |
4). B∨(C→(B∧A)); | 19). (A∧(B→C))↔B; |
5).(A↔B)∨(C↔B); | 20). (A→B)→(C→B); |
6). (A→B)∨ (C∧B); | 21). (A∧B)→(C∧B); |
7). (A∨(C→B))↔B; | 22). (A∨B∨C)→(C∧B); |
8). (A→B)↔ (C∨B); | 23). (A∧B∧C)∨(C∧B); |
9). (A→B)∨(C→B); | 24). (A→B)∨(C→B) |
10). B∨(A→(C∧B)); | 25). (A∧B∧C)↔(C∧B); |
11). B∨(A→(C∧B)); | 26). (A↔B)→(C↔B); |
12). B↔(A→(C∧B)); | 27). (A∨B)→(C∨B); |
13). (A∧(C→B))↔B; | 28). (A∨B)→(C∧B); |
14). (A∨(C↔B)); | 29). ((A∨B)↔C)∧B; |
15). (C∨B)∧(A↔B); | 30). (A∨B)∧(C∨B). |
2. :
1). (X∧(X∨Y))∨(X∨(X∧Y))≡ |
2).(X∨Y)∧(X∧Y)≡ |
3).(X→ Y)∨(X∧(X∨Y))≡ |
4).(X→X)∧(X∧(X∨Y))≡ |
5).(X∧(X∨Y))∨(X∧(X∨Y))≡ |
3. :
1). | 11). |
2). | 12). |
3). | 13). |
4). | 14). |
5). | 15). |
6). | 16). |
7). | 17). |
8). | 18). |
9). - | 19). - |
10). | 20). |