Промежуточные таблицы истинности:A→B:
¬A:
(¬A)∧V:
A | V | ¬A | (¬A)∧V |
0 | 0 | 1 | 0 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 |
1 | 1 | 0 | 0 |
((¬A)∧V)∧B:
A | V | B | ¬A | (¬A)∧V | ((¬A)∧V)∧B |
0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 0 |
0 | 1 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 0 |
¬(A→B):
A | B | A→B | ¬(A→B) |
0 | 0 | 1 | 0 |
0 | 1 | 1 | 0 |
1 | 0 | 0 | 1 |
1 | 1 | 1 | 0 |
(¬(A→B))∧(((¬A)∧V)∧B):
A | B | V | A→B | ¬(A→B) | ¬A | (¬A)∧V | ((¬A)∧V)∧B | (¬(A→B))∧(((¬A)∧V)∧B) |
0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
((¬(A→B))∧(((¬A)∧V)∧B))∧X:
A | B | V | X | A→B | ¬(A→B) | ¬A | (¬A)∧V | ((¬A)∧V)∧B | (¬(A→B))∧(((¬A)∧V)∧B) | ((¬(A→B))∧(((¬A)∧V)∧B))∧X |
0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
(((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O:
A | B | V | X | O | A→B | ¬(A→B) | ¬A | (¬A)∧V | ((¬A)∧V)∧B | (¬(A→B))∧(((¬A)∧V)∧B) | ((¬(A→B))∧(((¬A)∧V)∧B))∧X | (((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O |
0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
((((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O)∧R:
A | B | V | X | O | R | A→B | ¬(A→B) | ¬A | (¬A)∧V | ((¬A)∧V)∧B | (¬(A→B))∧(((¬A)∧V)∧B) | ((¬(A→B))∧(((¬A)∧V)∧B))∧X | (((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O | ((((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O)∧R |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
(((((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O)∧R)∧A:
A | B | V | X | O | R | A→B | ¬(A→B) | ¬A | (¬A)∧V | ((¬A)∧V)∧B | (¬(A→B))∧(((¬A)∧V)∧B) | ((¬(A→B))∧(((¬A)∧V)∧B))∧X | (((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O | ((((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O)∧R | (((((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O)∧R)∧A |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Общая таблица истинности:
A | B | V | X | O | R | A→B | ¬A | (¬A)∧V | ((¬A)∧V)∧B | ¬(A→B) | (¬(A→B))∧(((¬A)∧V)∧B) | ((¬(A→B))∧(((¬A)∧V)∧B))∧X | (((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O | ((((¬(A→B))∧(((¬A)∧V)∧B))∧X)∧O)∧R | ¬(A→B)∧(¬A∧V∧B)∧X∧O∧R∧A |
0 | 0 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Логическая схема:
Совершенная дизъюнктивная нормальная форма (СДНФ):
По таблице истинности:
A | B | V | X | O | R | F |
0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 1 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 0 |
0 | 0 | 0 | 1 | 1 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 0 |
0 | 0 | 1 | 1 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 0 |
0 | 0 | 1 | 1 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 1 | 0 |
0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 0 |
0 | 1 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 0 |
0 | 1 | 0 | 1 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 0 |
0 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 | 0 |
0 | 1 | 1 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 0 |
0 | 1 | 1 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 1 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 1 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 1 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 1 | 0 |
1 | 0 | 1 | 1 | 1 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 1 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 1 | 0 |
1 | 1 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 1 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 1 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 | 0 |
1 | 1 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 1 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 1 | 0 |
1 | 1 | 1 | 1 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 | 0 |
В таблице истинности нет набора значений переменных при которых функция истинна!
Совершенная конъюнктивная нормальная форма (СКНФ):
По таблице истинности:
A | B | V | X | O | R | F |
0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 1 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 0 |
0 | 0 | 0 | 1 | 1 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 0 |
0 | 0 | 1 | 1 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 0 |
0 | 0 | 1 | 1 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 1 | 0 |
0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 0 |
0 | 1 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 0 |
0 | 1 | 0 | 1 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 0 |
0 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 | 0 |
0 | 1 | 1 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 0 |
0 | 1 | 1 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 1 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 1 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 1 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 1 | 0 |
1 | 0 | 1 | 1 | 1 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 1 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 1 | 0 |
1 | 1 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 1 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 1 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 | 0 |
1 | 1 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 1 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 1 | 0 |
1 | 1 | 1 | 1 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 | 0 |
F
скнф = (A∨B∨V∨X∨O∨R) ∧ (A∨B∨V∨X∨O∨¬R) ∧ (A∨B∨V∨X∨¬O∨R) ∧ (A∨B∨V∨X∨¬O∨¬R) ∧ (A∨B∨V∨¬X∨O∨R) ∧ (A∨B∨V∨¬X∨O∨¬R) ∧ (A∨B∨V∨¬X∨¬O∨R) ∧ (A∨B∨V∨¬X∨¬O∨¬R) ∧ (A∨B∨¬V∨X∨O∨R) ∧ (A∨B∨¬V∨X∨O∨¬R) ∧ (A∨B∨¬V∨X∨¬O∨R) ∧ (A∨B∨¬V∨X∨¬O∨¬R) ∧ (A∨B∨¬V∨¬X∨O∨R) ∧ (A∨B∨¬V∨¬X∨O∨¬R) ∧ (A∨B∨¬V∨¬X∨¬O∨R) ∧ (A∨B∨¬V∨¬X∨¬O∨¬R) ∧ (A∨¬B∨V∨X∨O∨R) ∧ (A∨¬B∨V∨X∨O∨¬R) ∧ (A∨¬B∨V∨X∨¬O∨R) ∧ (A∨¬B∨V∨X∨¬O∨¬R) ∧ (A∨¬B∨V∨¬X∨O∨R) ∧ (A∨¬B∨V∨¬X∨O∨¬R) ∧ (A∨¬B∨V∨¬X∨¬O∨R) ∧ (A∨¬B∨V∨¬X∨¬O∨¬R) ∧ (A∨¬B∨¬V∨X∨O∨R) ∧ (A∨¬B∨¬V∨X∨O∨¬R) ∧ (A∨¬B∨¬V∨X∨¬O∨R) ∧ (A∨¬B∨¬V∨X∨¬O∨¬R) ∧ (A∨¬B∨¬V∨¬X∨O∨R) ∧ (A∨¬B∨¬V∨¬X∨O∨¬R) ∧ (A∨¬B∨¬V∨¬X∨¬O∨R) ∧ (A∨¬B∨¬V∨¬X∨¬O∨¬R) ∧ (¬A∨B∨V∨X∨O∨R) ∧ (¬A∨B∨V∨X∨O∨¬R) ∧ (¬A∨B∨V∨X∨¬O∨R) ∧ (¬A∨B∨V∨X∨¬O∨¬R) ∧ (¬A∨B∨V∨¬X∨O∨R) ∧ (¬A∨B∨V∨¬X∨O∨¬R) ∧ (¬A∨B∨V∨¬X∨¬O∨R) ∧ (¬A∨B∨V∨¬X∨¬O∨¬R) ∧ (¬A∨B∨¬V∨X∨O∨R) ∧ (¬A∨B∨¬V∨X∨O∨¬R) ∧ (¬A∨B∨¬V∨X∨¬O∨R) ∧ (¬A∨B∨¬V∨X∨¬O∨¬R) ∧ (¬A∨B∨¬V∨¬X∨O∨R) ∧ (¬A∨B∨¬V∨¬X∨O∨¬R) ∧ (¬A∨B∨¬V∨¬X∨¬O∨R) ∧ (¬A∨B∨¬V∨¬X∨¬O∨¬R) ∧ (¬A∨¬B∨V∨X∨O∨R) ∧ (¬A∨¬B∨V∨X∨O∨¬R) ∧ (¬A∨¬B∨V∨X∨¬O∨R) ∧ (¬A∨¬B∨V∨X∨¬O∨¬R) ∧ (¬A∨¬B∨V∨¬X∨O∨R) ∧ (¬A∨¬B∨V∨¬X∨O∨¬R) ∧ (¬A∨¬B∨V∨¬X∨¬O∨R) ∧ (¬A∨¬B∨V∨¬X∨¬O∨¬R) ∧ (¬A∨¬B∨¬V∨X∨O∨R) ∧ (¬A∨¬B∨¬V∨X∨O∨¬R) ∧ (¬A∨¬B∨¬V∨X∨¬O∨R) ∧ (¬A∨¬B∨¬V∨X∨¬O∨¬R) ∧ (¬A∨¬B∨¬V∨¬X∨O∨R) ∧ (¬A∨¬B∨¬V∨¬X∨O∨¬R) ∧ (¬A∨¬B∨¬V∨¬X∨¬O∨R) ∧ (¬A∨¬B∨¬V∨¬X∨¬O∨¬R)
Логическая cхема:
Построение полинома Жегалкина:
По таблице истинности функции
A | B | V | X | O | R | Fж |
0 | 0 | 0 | 0 | 0 | 0 | 0 |
0 | 0 | 0 | 0 | 0 | 1 | 0 |
0 | 0 | 0 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 0 | 1 | 1 | 0 |
0 | 0 | 0 | 1 | 0 | 0 | 0 |
0 | 0 | 0 | 1 | 0 | 1 | 0 |
0 | 0 | 0 | 1 | 1 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 0 |
0 | 0 | 1 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 | 0 | 1 | 0 |
0 | 0 | 1 | 0 | 1 | 0 | 0 |
0 | 0 | 1 | 0 | 1 | 1 | 0 |
0 | 0 | 1 | 1 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 0 | 1 | 0 |
0 | 0 | 1 | 1 | 1 | 0 | 0 |
0 | 0 | 1 | 1 | 1 | 1 | 0 |
0 | 1 | 0 | 0 | 0 | 0 | 0 |
0 | 1 | 0 | 0 | 0 | 1 | 0 |
0 | 1 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 0 | 0 | 1 | 1 | 0 |
0 | 1 | 0 | 1 | 0 | 0 | 0 |
0 | 1 | 0 | 1 | 0 | 1 | 0 |
0 | 1 | 0 | 1 | 1 | 0 | 0 |
0 | 1 | 0 | 1 | 1 | 1 | 0 |
0 | 1 | 1 | 0 | 0 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 | 1 | 1 | 0 |
0 | 1 | 1 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 0 | 1 | 0 |
0 | 1 | 1 | 1 | 1 | 0 | 0 |
0 | 1 | 1 | 1 | 1 | 1 | 0 |
1 | 0 | 0 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 0 | 1 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 1 | 0 |
1 | 0 | 0 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 0 |
1 | 0 | 0 | 1 | 1 | 0 | 0 |
1 | 0 | 0 | 1 | 1 | 1 | 0 |
1 | 0 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 1 | 0 |
1 | 0 | 1 | 1 | 0 | 0 | 0 |
1 | 0 | 1 | 1 | 0 | 1 | 0 |
1 | 0 | 1 | 1 | 1 | 0 | 0 |
1 | 0 | 1 | 1 | 1 | 1 | 0 |
1 | 1 | 0 | 0 | 0 | 0 | 0 |
1 | 1 | 0 | 0 | 0 | 1 | 0 |
1 | 1 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 0 | 1 | 1 | 0 |
1 | 1 | 0 | 1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 | 0 | 1 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 1 | 0 |
1 | 1 | 1 | 0 | 0 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 1 | 0 |
1 | 1 | 1 | 0 | 1 | 0 | 0 |
1 | 1 | 1 | 0 | 1 | 1 | 0 |
1 | 1 | 1 | 1 | 0 | 0 | 0 |
1 | 1 | 1 | 1 | 0 | 1 | 0 |
1 | 1 | 1 | 1 | 1 | 0 | 0 |
1 | 1 | 1 | 1 | 1 | 1 | 0 |
Построим полином Жегалкина:
F
ж = C
000000 ⊕ C
100000∧A ⊕ C
010000∧B ⊕ C
001000∧V ⊕ C
000100∧X ⊕ C
000010∧O ⊕ C
000001∧R ⊕ C
110000∧A∧B ⊕ C
101000∧A∧V ⊕ C
100100∧A∧X ⊕ C
100010∧A∧O ⊕ C
100001∧A∧R ⊕ C
011000∧B∧V ⊕ C
010100∧B∧X ⊕ C
010010∧B∧O ⊕ C
010001∧B∧R ⊕ C
001100∧V∧X ⊕ C
001010∧V∧O ⊕ C
001001∧V∧R ⊕ C
000110∧X∧O ⊕ C
000101∧X∧R ⊕ C
000011∧O∧R ⊕ C
111000∧A∧B∧V ⊕ C
110100∧A∧B∧X ⊕ C
110010∧A∧B∧O ⊕ C
110001∧A∧B∧R ⊕ C
101100∧A∧V∧X ⊕ C
101010∧A∧V∧O ⊕ C
101001∧A∧V∧R ⊕ C
100110∧A∧X∧O ⊕ C
100101∧A∧X∧R ⊕ C
100011∧A∧O∧R ⊕ C
011100∧B∧V∧X ⊕ C
011010∧B∧V∧O ⊕ C
011001∧B∧V∧R ⊕ C
010110∧B∧X∧O ⊕ C
010101∧B∧X∧R ⊕ C
010011∧B∧O∧R ⊕ C
001110∧V∧X∧O ⊕ C
001101∧V∧X∧R ⊕ C
001011∧V∧O∧R ⊕ C
000111∧X∧O∧R ⊕ C
111100∧A∧B∧V∧X ⊕ C
111010∧A∧B∧V∧O ⊕ C
111001∧A∧B∧V∧R ⊕ C
110110∧A∧B∧X∧O ⊕ C
110101∧A∧B∧X∧R ⊕ C
110011∧A∧B∧O∧R ⊕ C
101110∧A∧V∧X∧O ⊕ C
101101∧A∧V∧X∧R ⊕ C
101011∧A∧V∧O∧R ⊕ C
100111∧A∧X∧O∧R ⊕ C
011110∧B∧V∧X∧O ⊕ C
011101∧B∧V∧X∧R ⊕ C
011011∧B∧V∧O∧R ⊕ C
010111∧B∧X∧O∧R ⊕ C
001111∧V∧X∧O∧R ⊕ C
111110∧A∧B∧V∧X∧O ⊕ C
111101∧A∧B∧V∧X∧R ⊕ C
111011∧A∧B∧V∧O∧R ⊕ C
110111∧A∧B∧X∧O∧R ⊕ C
101111∧A∧V∧X∧O∧R ⊕ C
011111∧B∧V∧X∧O∧R ⊕ C
111111∧A∧B∧V∧X∧O∧R
Так как F
ж(000000) = 0, то С
000000 = 0.
Далее подставляем все остальные наборы в порядке возрастания числа единиц, подставляя вновь полученные значения в следующие формулы:
F
ж(100000) = С
000000 ⊕ С
100000 = 0 => С
100000 = 0 ⊕ 0 = 0
F
ж(010000) = С
000000 ⊕ С
010000 = 0 => С
010000 = 0 ⊕ 0 = 0
F
ж(001000) = С
000000 ⊕ С
001000 = 0 => С
001000 = 0 ⊕ 0 = 0
F
ж(000100) = С
000000 ⊕ С
000100 = 0 => С
000100 = 0 ⊕ 0 = 0
F
ж(000010) = С
000000 ⊕ С
000010 = 0 => С
000010 = 0 ⊕ 0 = 0
F
ж(000001) = С
000000 ⊕ С
000001 = 0 => С
000001 = 0 ⊕ 0 = 0
F
ж(110000) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
110000 = 0 => С
110000 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(101000) = С
000000 ⊕ С
100000 ⊕ С
001000 ⊕ С
101000 = 0 => С
101000 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(100100) = С
000000 ⊕ С
100000 ⊕ С
000100 ⊕ С
100100 = 0 => С
100100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(100010) = С
000000 ⊕ С
100000 ⊕ С
000010 ⊕ С
100010 = 0 => С
100010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(100001) = С
000000 ⊕ С
100000 ⊕ С
000001 ⊕ С
100001 = 0 => С
100001 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(011000) = С
000000 ⊕ С
010000 ⊕ С
001000 ⊕ С
011000 = 0 => С
011000 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(010100) = С
000000 ⊕ С
010000 ⊕ С
000100 ⊕ С
010100 = 0 => С
010100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(010010) = С
000000 ⊕ С
010000 ⊕ С
000010 ⊕ С
010010 = 0 => С
010010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(010001) = С
000000 ⊕ С
010000 ⊕ С
000001 ⊕ С
010001 = 0 => С
010001 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(001100) = С
000000 ⊕ С
001000 ⊕ С
000100 ⊕ С
001100 = 0 => С
001100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(001010) = С
000000 ⊕ С
001000 ⊕ С
000010 ⊕ С
001010 = 0 => С
001010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(001001) = С
000000 ⊕ С
001000 ⊕ С
000001 ⊕ С
001001 = 0 => С
001001 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(000110) = С
000000 ⊕ С
000100 ⊕ С
000010 ⊕ С
000110 = 0 => С
000110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(000101) = С
000000 ⊕ С
000100 ⊕ С
000001 ⊕ С
000101 = 0 => С
000101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(000011) = С
000000 ⊕ С
000010 ⊕ С
000001 ⊕ С
000011 = 0 => С
000011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(111000) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
001000 ⊕ С
110000 ⊕ С
101000 ⊕ С
011000 ⊕ С
111000 = 0 => С
111000 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(110100) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
000100 ⊕ С
110000 ⊕ С
100100 ⊕ С
010100 ⊕ С
110100 = 0 => С
110100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(110010) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
000010 ⊕ С
110000 ⊕ С
100010 ⊕ С
010010 ⊕ С
110010 = 0 => С
110010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(110001) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
000001 ⊕ С
110000 ⊕ С
100001 ⊕ С
010001 ⊕ С
110001 = 0 => С
110001 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(101100) = С
000000 ⊕ С
100000 ⊕ С
001000 ⊕ С
000100 ⊕ С
101000 ⊕ С
100100 ⊕ С
001100 ⊕ С
101100 = 0 => С
101100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(101010) = С
000000 ⊕ С
100000 ⊕ С
001000 ⊕ С
000010 ⊕ С
101000 ⊕ С
100010 ⊕ С
001010 ⊕ С
101010 = 0 => С
101010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(101001) = С
000000 ⊕ С
100000 ⊕ С
001000 ⊕ С
000001 ⊕ С
101000 ⊕ С
100001 ⊕ С
001001 ⊕ С
101001 = 0 => С
101001 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(100110) = С
000000 ⊕ С
100000 ⊕ С
000100 ⊕ С
000010 ⊕ С
100100 ⊕ С
100010 ⊕ С
000110 ⊕ С
100110 = 0 => С
100110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(100101) = С
000000 ⊕ С
100000 ⊕ С
000100 ⊕ С
000001 ⊕ С
100100 ⊕ С
100001 ⊕ С
000101 ⊕ С
100101 = 0 => С
100101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(100011) = С
000000 ⊕ С
100000 ⊕ С
000010 ⊕ С
000001 ⊕ С
100010 ⊕ С
100001 ⊕ С
000011 ⊕ С
100011 = 0 => С
100011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(011100) = С
000000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000100 ⊕ С
011000 ⊕ С
010100 ⊕ С
001100 ⊕ С
011100 = 0 => С
011100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(011010) = С
000000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000010 ⊕ С
011000 ⊕ С
010010 ⊕ С
001010 ⊕ С
011010 = 0 => С
011010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(011001) = С
000000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000001 ⊕ С
011000 ⊕ С
010001 ⊕ С
001001 ⊕ С
011001 = 0 => С
011001 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(010110) = С
000000 ⊕ С
010000 ⊕ С
000100 ⊕ С
000010 ⊕ С
010100 ⊕ С
010010 ⊕ С
000110 ⊕ С
010110 = 0 => С
010110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(010101) = С
000000 ⊕ С
010000 ⊕ С
000100 ⊕ С
000001 ⊕ С
010100 ⊕ С
010001 ⊕ С
000101 ⊕ С
010101 = 0 => С
010101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(010011) = С
000000 ⊕ С
010000 ⊕ С
000010 ⊕ С
000001 ⊕ С
010010 ⊕ С
010001 ⊕ С
000011 ⊕ С
010011 = 0 => С
010011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(001110) = С
000000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000010 ⊕ С
001100 ⊕ С
001010 ⊕ С
000110 ⊕ С
001110 = 0 => С
001110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(001101) = С
000000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000001 ⊕ С
001100 ⊕ С
001001 ⊕ С
000101 ⊕ С
001101 = 0 => С
001101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(001011) = С
000000 ⊕ С
001000 ⊕ С
000010 ⊕ С
000001 ⊕ С
001010 ⊕ С
001001 ⊕ С
000011 ⊕ С
001011 = 0 => С
001011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(000111) = С
000000 ⊕ С
000100 ⊕ С
000010 ⊕ С
000001 ⊕ С
000110 ⊕ С
000101 ⊕ С
000011 ⊕ С
000111 = 0 => С
000111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(111100) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000100 ⊕ С
110000 ⊕ С
101000 ⊕ С
100100 ⊕ С
011000 ⊕ С
010100 ⊕ С
001100 ⊕ С
111000 ⊕ С
110100 ⊕ С
101100 ⊕ С
011100 ⊕ С
111100 = 0 => С
111100 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(111010) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000010 ⊕ С
110000 ⊕ С
101000 ⊕ С
100010 ⊕ С
011000 ⊕ С
010010 ⊕ С
001010 ⊕ С
111000 ⊕ С
110010 ⊕ С
101010 ⊕ С
011010 ⊕ С
111010 = 0 => С
111010 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(111001) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000001 ⊕ С
110000 ⊕ С
101000 ⊕ С
100001 ⊕ С
011000 ⊕ С
010001 ⊕ С
001001 ⊕ С
111000 ⊕ С
110001 ⊕ С
101001 ⊕ С
011001 ⊕ С
111001 = 0 => С
111001 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(110110) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
000100 ⊕ С
000010 ⊕ С
110000 ⊕ С
100100 ⊕ С
100010 ⊕ С
010100 ⊕ С
010010 ⊕ С
000110 ⊕ С
110100 ⊕ С
110010 ⊕ С
100110 ⊕ С
010110 ⊕ С
110110 = 0 => С
110110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(110101) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
000100 ⊕ С
000001 ⊕ С
110000 ⊕ С
100100 ⊕ С
100001 ⊕ С
010100 ⊕ С
010001 ⊕ С
000101 ⊕ С
110100 ⊕ С
110001 ⊕ С
100101 ⊕ С
010101 ⊕ С
110101 = 0 => С
110101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(110011) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
000010 ⊕ С
000001 ⊕ С
110000 ⊕ С
100010 ⊕ С
100001 ⊕ С
010010 ⊕ С
010001 ⊕ С
000011 ⊕ С
110010 ⊕ С
110001 ⊕ С
100011 ⊕ С
010011 ⊕ С
110011 = 0 => С
110011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(101110) = С
000000 ⊕ С
100000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000010 ⊕ С
101000 ⊕ С
100100 ⊕ С
100010 ⊕ С
001100 ⊕ С
001010 ⊕ С
000110 ⊕ С
101100 ⊕ С
101010 ⊕ С
100110 ⊕ С
001110 ⊕ С
101110 = 0 => С
101110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(101101) = С
000000 ⊕ С
100000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000001 ⊕ С
101000 ⊕ С
100100 ⊕ С
100001 ⊕ С
001100 ⊕ С
001001 ⊕ С
000101 ⊕ С
101100 ⊕ С
101001 ⊕ С
100101 ⊕ С
001101 ⊕ С
101101 = 0 => С
101101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(101011) = С
000000 ⊕ С
100000 ⊕ С
001000 ⊕ С
000010 ⊕ С
000001 ⊕ С
101000 ⊕ С
100010 ⊕ С
100001 ⊕ С
001010 ⊕ С
001001 ⊕ С
000011 ⊕ С
101010 ⊕ С
101001 ⊕ С
100011 ⊕ С
001011 ⊕ С
101011 = 0 => С
101011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(100111) = С
000000 ⊕ С
100000 ⊕ С
000100 ⊕ С
000010 ⊕ С
000001 ⊕ С
100100 ⊕ С
100010 ⊕ С
100001 ⊕ С
000110 ⊕ С
000101 ⊕ С
000011 ⊕ С
100110 ⊕ С
100101 ⊕ С
100011 ⊕ С
000111 ⊕ С
100111 = 0 => С
100111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(011110) = С
000000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000010 ⊕ С
011000 ⊕ С
010100 ⊕ С
010010 ⊕ С
001100 ⊕ С
001010 ⊕ С
000110 ⊕ С
011100 ⊕ С
011010 ⊕ С
010110 ⊕ С
001110 ⊕ С
011110 = 0 => С
011110 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(011101) = С
000000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000001 ⊕ С
011000 ⊕ С
010100 ⊕ С
010001 ⊕ С
001100 ⊕ С
001001 ⊕ С
000101 ⊕ С
011100 ⊕ С
011001 ⊕ С
010101 ⊕ С
001101 ⊕ С
011101 = 0 => С
011101 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(011011) = С
000000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000010 ⊕ С
000001 ⊕ С
011000 ⊕ С
010010 ⊕ С
010001 ⊕ С
001010 ⊕ С
001001 ⊕ С
000011 ⊕ С
011010 ⊕ С
011001 ⊕ С
010011 ⊕ С
001011 ⊕ С
011011 = 0 => С
011011 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(010111) = С
000000 ⊕ С
010000 ⊕ С
000100 ⊕ С
000010 ⊕ С
000001 ⊕ С
010100 ⊕ С
010010 ⊕ С
010001 ⊕ С
000110 ⊕ С
000101 ⊕ С
000011 ⊕ С
010110 ⊕ С
010101 ⊕ С
010011 ⊕ С
000111 ⊕ С
010111 = 0 => С
010111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(001111) = С
000000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000010 ⊕ С
000001 ⊕ С
001100 ⊕ С
001010 ⊕ С
001001 ⊕ С
000110 ⊕ С
000101 ⊕ С
000011 ⊕ С
001110 ⊕ С
001101 ⊕ С
001011 ⊕ С
000111 ⊕ С
001111 = 0 => С
001111 = 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(111110) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000010 ⊕ С
110000 ⊕ С
101000 ⊕ С
100100 ⊕ С
100010 ⊕ С
011000 ⊕ С
010100 ⊕ С
010010 ⊕ С
001100 ⊕ С
001010 ⊕ С
000110 ⊕ С
111000 ⊕ С
110100 ⊕ С
110010 ⊕ С
101100 ⊕ С
101010 ⊕ С
100110 ⊕ С
011100 ⊕ С
011010 ⊕ С
010110 ⊕ С
001110 ⊕ С
111100 ⊕ С
111010 ⊕ С
110110 ⊕ С
101110 ⊕ С
011110 ⊕ С
111110 = 0 => С
111110 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(111101) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000001 ⊕ С
110000 ⊕ С
101000 ⊕ С
100100 ⊕ С
100001 ⊕ С
011000 ⊕ С
010100 ⊕ С
010001 ⊕ С
001100 ⊕ С
001001 ⊕ С
000101 ⊕ С
111000 ⊕ С
110100 ⊕ С
110001 ⊕ С
101100 ⊕ С
101001 ⊕ С
100101 ⊕ С
011100 ⊕ С
011001 ⊕ С
010101 ⊕ С
001101 ⊕ С
111100 ⊕ С
111001 ⊕ С
110101 ⊕ С
101101 ⊕ С
011101 ⊕ С
111101 = 0 => С
111101 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(111011) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000010 ⊕ С
000001 ⊕ С
110000 ⊕ С
101000 ⊕ С
100010 ⊕ С
100001 ⊕ С
011000 ⊕ С
010010 ⊕ С
010001 ⊕ С
001010 ⊕ С
001001 ⊕ С
000011 ⊕ С
111000 ⊕ С
110010 ⊕ С
110001 ⊕ С
101010 ⊕ С
101001 ⊕ С
100011 ⊕ С
011010 ⊕ С
011001 ⊕ С
010011 ⊕ С
001011 ⊕ С
111010 ⊕ С
111001 ⊕ С
110011 ⊕ С
101011 ⊕ С
011011 ⊕ С
111011 = 0 => С
111011 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(110111) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
000100 ⊕ С
000010 ⊕ С
000001 ⊕ С
110000 ⊕ С
100100 ⊕ С
100010 ⊕ С
100001 ⊕ С
010100 ⊕ С
010010 ⊕ С
010001 ⊕ С
000110 ⊕ С
000101 ⊕ С
000011 ⊕ С
110100 ⊕ С
110010 ⊕ С
110001 ⊕ С
100110 ⊕ С
100101 ⊕ С
100011 ⊕ С
010110 ⊕ С
010101 ⊕ С
010011 ⊕ С
000111 ⊕ С
110110 ⊕ С
110101 ⊕ С
110011 ⊕ С
100111 ⊕ С
010111 ⊕ С
110111 = 0 => С
110111 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(101111) = С
000000 ⊕ С
100000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000010 ⊕ С
000001 ⊕ С
101000 ⊕ С
100100 ⊕ С
100010 ⊕ С
100001 ⊕ С
001100 ⊕ С
001010 ⊕ С
001001 ⊕ С
000110 ⊕ С
000101 ⊕ С
000011 ⊕ С
101100 ⊕ С
101010 ⊕ С
101001 ⊕ С
100110 ⊕ С
100101 ⊕ С
100011 ⊕ С
001110 ⊕ С
001101 ⊕ С
001011 ⊕ С
000111 ⊕ С
101110 ⊕ С
101101 ⊕ С
101011 ⊕ С
100111 ⊕ С
001111 ⊕ С
101111 = 0 => С
101111 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(011111) = С
000000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000010 ⊕ С
000001 ⊕ С
011000 ⊕ С
010100 ⊕ С
010010 ⊕ С
010001 ⊕ С
001100 ⊕ С
001010 ⊕ С
001001 ⊕ С
000110 ⊕ С
000101 ⊕ С
000011 ⊕ С
011100 ⊕ С
011010 ⊕ С
011001 ⊕ С
010110 ⊕ С
010101 ⊕ С
010011 ⊕ С
001110 ⊕ С
001101 ⊕ С
001011 ⊕ С
000111 ⊕ С
011110 ⊕ С
011101 ⊕ С
011011 ⊕ С
010111 ⊕ С
001111 ⊕ С
011111 = 0 => С
011111 = 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
F
ж(111111) = С
000000 ⊕ С
100000 ⊕ С
010000 ⊕ С
001000 ⊕ С
000100 ⊕ С
000010 ⊕ С
000001 ⊕ С
110000 ⊕ С
101000 ⊕ С
100100 ⊕ С
100010 ⊕ С
100001 ⊕ С
011000 ⊕ С
010100 ⊕ С
010010 ⊕ С
010001 ⊕ С
001100 ⊕ С
001010 ⊕ С
001001 ⊕ С
000110 ⊕ С
000101 ⊕ С
000011 ⊕ С
111000 ⊕ С
110100 ⊕ С
110010 ⊕ С
110001 ⊕ С
101100 ⊕ С
101010 ⊕ С
101001 ⊕ С
100110 ⊕ С
100101 ⊕ С
100011 ⊕ С
011100 ⊕ С
011010 ⊕ С
011001 ⊕ С
010110 ⊕ С
010101 ⊕ С
010011 ⊕ С
001110 ⊕ С
001101 ⊕ С
001011 ⊕ С
000111 ⊕ С
111100 ⊕ С
111010 ⊕ С
111001 ⊕ С
110110 ⊕ С
110101 ⊕ С
110011 ⊕ С
101110 ⊕ С
101101 ⊕ С
101011 ⊕ С
100111 ⊕ С
011110 ⊕ С
011101 ⊕ С
011011 ⊕ С
010111 ⊕ С
001111 ⊕ С
111110 ⊕ С
111101 ⊕ С
111011 ⊕ С
110111 ⊕ С
101111 ⊕ С
011111 ⊕ С
111111 = 0 => С
111111 = 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 ⊕ 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 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 ⊕ 0 = 0
Таким образом, полином Жегалкина будет равен:
F
ж = 0