Решение. Заметим, что первое и второе уравнения не связаны между собой ни через какие переменные. Рассмотрим последнее уравнение. Логическое «ИЛИ» истинно, когда истинно хотя бы одно высказывание. Представим решения последнего уравнения в виде таблицы:
Случай А). Рассмотрим первое уравнение. Для того, чтобы равенство выполнялось, необходимо, чтобы каждая скобка была истинной. Импликация ложна только тогда, когда посылка истинна, а следствие ложно, следовательно, если x1 = 0, то x2 = 0 или 1. В случае, когда x2 = 1 все последующие переменные тоже должны быть равными 1, в случае, когда x2 = 0 имеем два варианта для x3. Таким образом, получаем 6 наборов переменных x1, x2, x3, x4, x5, x6, которые решают первое уравнение.
Рассмотрим второе уравнение. Импликация Для того, чтобы равенство выполнялось, необходимо, чтобы каждая скобка была истинной. В случае, когда y6 = 1, скобка (y5 → y6) истинна при двух значениях переменной y5. В случае, когда y5 = 0, все предыдущие переменные должны быть равны 0, в случае, когда y5 = 1, предыдущая переменная может принимать два значения, и. т. д. Таким образом, получаем 6 наборов переменных y1, y2, y3, y4, y5, y6, которые решают второе уравнение.
Всего в случае А) имеем 6 · 6 = 36 наборов переменных x1, x2, x3, x4, x5, x6, y1, y2, y3, y4, y5, y6, при которых выполнена данная система равенств.
Случай Б). Рассмотрим первое уравнение. Поскольку x1 = 1, имеем 1 набор x1, x2, x3, x4, x5, x6, который решает первое уравнение. Рассмотрим второе уравнение. Поскольку y6 = 0, все предыдущие переменные должны быть равными 0. Таким образом, имеем 1 набор переменных y1, y2, y3, y4, y5, y6, который решает второе уравнение.
Всего в случае Б) имеем 1 · 1 = 1 набор переменных x1, x2, x3, x4, x5, x6, y1, y2, y3, y4, y5, y6, при котором выполнена данная система равенств.
Случай В). Рассмотрим первое уравнение. Поскольку x1 = 1, имеем 1 набор x1, x2, x3, x4, x5, x6, который решает первое уравнение (см. случай Б). Рассмотрим второе уравнение. Поскольку y6 = 1, имеем 6 наборов переменных y1, y2, y3, y4, y5, y6, который решает второе уравнение (см. случай А).
Всего в случае В) имеем 6 · 1 = 6 наборов переменных x1, x2, x3, x4, x5, x6, y1, y2, y3, y4, y5, y6, при которых выполнена данная система равенств.
Таким образом, получаем 36 + 1 + 6 = 43 наборов переменных x1, x2, x3, x4, x5, x6, y1, y2, y3, y4, y5, y6, при которых выполнена данная система равенств.
Ответ: 43.
PDF-версии: 