Информатика (Логические уравнения)
Сколько существует различных наборов значений логических переменных x1, x2, ...x7, y1, y2, ...y7, которые удовлетворяют всем перечисленным ниже условиям?
(¬x1 ∨ y1) → (¬x2 ∧ y2) = 1
(¬x2 ∨ y2) → (¬x3 ∧y3) = 1
…
(¬x6 ∨ y6) → (¬x7 ∧ y7) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ...x7, y1, y2, ...y7, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.
Ответ
z1 = 0, z2 = 0, z3 = 0, z4 = 1, z5 = 1, z6 = 1, z7 = 1; y1 = 0; y2 = 0, y3 = 1, y4 = 1, y5 = 1, y6 = 1, y7 = 1.
все y и z справа от этого поднабора должны быть равны единице. Тогда получаем, что поднаборов вида 
семь штук. Аналогично по семь и поднаборов вида 
Всего 7 · 3 + 1 = 22 решения.Предложения 2,3,4 передают второстепенную информацию.
Ответ: 15.