Условие задачи
Сколько существует различных наборов значений логических переменных x1, x2, x3, x4, x5, x6, y1, y2, y3, y4, y5, y6, которые удовлетворяют всем перечисленным ниже условиям?
(x1→x2) ∧ (x2→x3) ∧ (x3→x4) ∧ (x4→x5) ∧ (x5→x6) = 1
(x1→y1) ∧ (x2→y2) ∧ (x3→y3) ∧ (x4→y4) ∧ (x5→y5) ∧ (x6→y6) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, x3, x4, x5, x6, y1, y2, y3, y4, y5, y6 при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.
Ответ
Рассмотрим первое уравнение. Логическое И истинно, когда истинны все высказывания. Для того, чтобы равенство выполнялось, необходимо, чтобы каждая скобка была истинной. Импликация ложна только тогда, когда посылка истинна, а следствие ложно. Представим решения этого уравнения в виде дерева:
