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