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