23_4:
Сколько существует различных наборов значений логических переменных x1, x2, … x6, y1, y2, … y6, которые удовлетворяют всем перечисленным ниже условиям?
Сколько существует различных наборов значений логических переменных x1, x2, … x6, y1, y2, … y6, которые удовлетворяют всем перечисленным ниже условиям?
¬(((x1 ∨ y1)) ≡ (x2 ∨ y2)) → (x3 ∨ y3)) ¬(((x2 ∨ y2)) ∨ ¬(x3 ∨ y3)) → (x4 ∨ y4)) ¬(((x3 ∨ y3)) ≡ (x4 ∨ y4)) → (x5 ∨ y5)) ¬(((x4 ∨ y4)) ∨ ¬(x5 ∨ y5)) → (x6 ∨ y6)) ¬(((x5 ∨ y5)) ≡ (x6 ∨ y6)) → (x7 ∨ y7)) ¬(((x6 ∨ y6)) ∨ ¬(x7 ∨ y7)) → (x8 ∨ y8)) ¬(((x7 ∨ y7)) ≡ (x8 ∨ y8)) → (x9 ∨ y9))
В качестве ответа Вам нужно указать количество таких наборов.
✍ Решение:
Ответ: 10