Сколько различных решений имеет система уравнений?
(x1 → x2) ∧ (x2 → x3) ∧ (x3 → x4) ∧ (x4 → x5) = 1
(у5 → у4) ∧ (у4 → у3) ∧ (у3 → у2) ∧ (у2 → у1) = 1
x1 → у1 = 1
где x1,x2,…,x5, у1,у2,…,у5 – логические переменные? В ответе не нужно перечислять все различные наборы значений переменных, при которых выполнено данное равенство. В качестве ответа нужно указать количество таких наборов.
Решение:
| x1 | x2 | x3 | x4 | x5 |
| 0 | 0 | 0 | 0 | 0 |
| 1 | ||||
| 1 | 1 | |||
| 1 | 1 | 1 | ||
| 1 | 1 | 1 | 1 | |
| 1 | 1 | 1 | 1 | 1 |
| y5 | y4 | y3 | y2 | y1 |
| 0 | 0 | 0 | 0 | 0 |
| 1 | ||||
| 1 | 1 | |||
| 1 | 1 | 1 | ||
| 1 | 1 | 1 | 1 | |
| 1 | 1 | 1 | 1 | 1 |
6.6 = 36
x1 → у1 = 1
1 → 0 = 0 (исключаем этот)
36-1=35
Ответ: 35