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