Задание #T2950

Задание

Сколько существует различных наборов значений логических переменных x1,,x14x_{1},\ldots,x_{14} при которых следующие выражения истинны?
(x1x2)(x2x3)(x3x4)(x4x5),\left(x_{1}\rightarrow x_{2}\right)\wedge\left(x_{2}\rightarrow x_{3}\right)\wedge\left(x_{3}\rightarrow x_{4}\right)\wedge\left(x_{4}\rightarrow x_{5}\right),
(x8(x6x7))(x11(x9x10))(x14(x12x13))\left(x_{8}\rightarrow\left(x_{6}\equiv x_{7}\right)\right)\wedge\left(x_{11}\rightarrow\left(x_{9}\equiv x_{10}\right)\right)\wedge\left(x_{14}\rightarrow\left(x_{12}\equiv x_{13}\right)\right),
x2x8x_{2}\vee x_{8}