Промежуточные таблицы истинности:¬X:
(¬X)∧(¬X):
((¬X)∧(¬X))∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 0 |
(((¬X)∧(¬X))∧(¬X))∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
(((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
(((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X:
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ¬X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
(((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ¬X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) | ¬X | (((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X:
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ¬X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) | ¬X | (((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X) | ((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
(((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X:
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ¬X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) | ¬X | (((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X) | ((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X | (((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ¬X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) | ¬X | (((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X) | ((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X | (((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X | ¬X | ((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
(((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X:
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ¬X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) | ¬X | (((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X) | ((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X | (((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X | ¬X | ((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X) | (((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ¬X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) | ¬X | (((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X) | ((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X | (((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X | ¬X | ((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X) | (((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X | ¬X | ((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
(((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X):
X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ¬X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) | ¬X | (((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X) | ((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X | (((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X | ¬X | ((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X) | (((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X | ¬X | ((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X) | ¬X | (((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X) |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Y≡((((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X)):
Y | X | ¬X | ¬X | (¬X)∧(¬X) | ¬X | ((¬X)∧(¬X))∧(¬X) | ¬X | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ¬X | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ¬X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) | ¬X | (((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X) | ((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X | (((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X | ¬X | ((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X) | (((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X | ¬X | ((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X) | ¬X | (((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X) | Y≡((((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X)) |
0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Общая таблица истинности:
Y | X | ¬X | (¬X)∧(¬X) | ((¬X)∧(¬X))∧(¬X) | (((¬X)∧(¬X))∧(¬X))∧(¬X) | ((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | ((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X) | (((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X | ((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X) | (((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X) | ((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X | (((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X | ((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X) | (((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X | ((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X) | (((((((((((((((¬X)∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧(¬X))∧X)∧(¬X))∧(¬X))∧X)∧X)∧(¬X))∧X)∧(¬X))∧(¬X) | Y≡¬X∧¬X∧¬X∧¬X∧¬X∧¬X∧¬X∧X∧¬X∧¬X∧X∧X∧¬X∧X∧¬X∧¬X |
0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 |
1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Логическая схема:
Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности:
F
сднф = ¬Y∧¬X ∨ ¬Y∧X
Логическая cхема:
Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:
F
скнф = (¬Y∨X) ∧ (¬Y∨¬X)
Логическая cхема:
Построение полинома Жегалкина:
По таблице истинности функции
Построим полином Жегалкина:
F
ж = C
00 ⊕ C
10∧Y ⊕ C
01∧X ⊕ C
11∧Y∧X
Так как F
ж(00) = 1, то С
00 = 1.
Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
F
ж(10) = С
00 ⊕ С
10 = 0 => С
10 = 1 ⊕ 0 = 1
F
ж(01) = С
00 ⊕ С
01 = 1 => С
01 = 1 ⊕ 1 = 0
F
ж(11) = С
00 ⊕ С
10 ⊕ С
01 ⊕ С
11 = 0 => С
11 = 1 ⊕ 1 ⊕ 0 ⊕ 0 = 0
Таким образом, полином Жегалкина будет равен:
F
ж = 1 ⊕ Y
Логическая схема, соответствующая полиному Жегалкина: