Указание:
Рассмотрите возможные значения для пар
. Решение 1:
Рассмотрим пару
. Она не может принимать значения
, так как тогда будет ложной импликация
. Все остальные значения этой пары (
,
,
) допустимы. Всего получается
возможных решения. Рассмотрим пару
. Она тоже не может принимать значения
. Если эта пара состоит из двух нулей, то дизъюнкция
ложна. Тогда для истинности импликации
необходимо, чтобы первая дизъюнкция тоже была равно нулю, то есть пара
состояла из нулей. В остальных случаях (значения
–
или
) подходят любые допустимые значения пары
, то есть по
решения. Всего получается
решений для двух пар. Аналогичные рассуждения показывают, что
и т.д. Получается, что
. Можно последовательно вычислить все значения до
или вывести общую формулу
. Всего получается
решений. Решение 2:
Перекомпонуем условия с учётом того, что для истинности конъюнкции должны быть истинными все её составляющие:
Рассмотрим первое уравнение. Легко видеть, что если какая-то из дизъюнкций вида
ложна, то и все предшествующие ей должны быть ложны, а если какая-то из этих дизъюнкций истинна, то и все последующие должны быть истинны. Получается, что последовательность значений этих дизъюнкций должна иметь вид
. Всего для этих последовательностей из
значений получается
допустимых вариантов:
нулей,
нулей и
единица,
нулей и
единицы,
,
единиц. Если значение дизъюнкции равно нулю, то соответствующие
и
тоже должны быть нулями. Если значение дизъюнкции равно единице, то
и
могут принимать значения
,
,
. Вариант
нужно исключить, так как при этом оказывается ложной импликация
. Остаётся два варианта. Таким образом, каждый ноль в последовательности значений дизъюнкций соответствует единственной комбинации соответствующих
и
, а каждая единица – двум таким комбинациям, при этом выбор комбинаций для каждой пары происходит независимо. Если последовательность значений дизъюнкций имеет вид
и содержит
единиц, то ей соответствует
возможных комбинаций исходных переменных. Всего получается
решений.