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