Задание

Сколько существует наборов логических переменных x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, которые удовлетворяют всем перечисленным ниже условиям?

(x1 → x2) v (x3 → x4) = 1

¬(x1 → x2) v ¬(x3 → x4) = 1

(x3 → x4) v (x5 → x6) = 1

¬(x3 → x4) v ¬(x5 → x6) = 1

(x5 → x6) v (x7 → x8) = 1

¬(x5 → x6) v ¬(x7 → x8) = 1

(x7 → x8) v (x9 → x10) = 1

¬(x7 → x8) v ¬(x9 → x10) = 1