Образовательный портал Павла Добряка

8.4. Прогрессии и рекурсии в логических уравнениях

В третий раз мы возвращаемся к решению логических уравнений. На этот раз мы сосредоточимся на поиске закономерностей в дереве и последующем составлении прогрессии или рекурсивном обсчете. Некоторые задачи мной были специально усложнены (увеличено количество переменных). В конце будет вполне реальная проверочная задача, которую мы решим двумя способами.

Задача 8.4.1. Сколько различных решений имеет система логических уравнений:

(x1 x2) → (x2 → x3) = 1

(x2 → x3) → (x3 → x4) = 1

(x97 → x98) → (x99 → x100) = 1

 

Задача 8.4.2. Сколько различных решений имеет система логических уравнений:

(x1 → x2) → (x3 → x4) = 1

(x3 → x4) → (x5 → x6) = 1

(x28 → x29) → (x29 → x30) = 1

 

Задача 8.4.3. Сколько различных решений имеет система логических уравнений:

x1 ∧ x2 ∨ x3 = 1

x2 ∧ x3 ∨x4 = 1

x7 ∧ x8 ∨ x9 = 1

x8 ∧ x9 ∨ x10 = 1

Обратите внимание, что ответ в этой задаче совпадает с ответом похожей на неё задачи 4.5.8. Причина заключается в том, что эту задачу можно рассматривать как построение дерева в обратном порядке.

 

Задача 8.4.4. Сколько различных решений имеют логические уравнения

А)

x1 → y1 = 1

(x2 → (x1 ∧ y2)) ∧ (y2 → 1) = 1

(x3 → (x2 ∧ y3)) ∧ (y3 → y2) = 1

(x9 → (x8 ∧ y9)) ∧ (y9 → y8) = 1

B)

x1 → y1 = 1

(x2 → (x1 ∧ y2)) ∧ (y2 → y1) = 1

(x3 → (x2 ∧ y3)) ∧ (y3 → y2) = 1

(x99 → (x98 ∧ y99)) ∧ (y99 → y98) = 1