Вариант № EGE_INF_1802
Добавлен 16 декабря 2017 в 0:45. Изменён 17 июня 2018 в 17:03.
Задание
Сколько существует различных наборов значений логических переменных \(x_{1},\ldots,x_{4}\), \(y_{1},\ldots,y_{4}\) при которых следующие выражения истинны? \[\begin{array}{c} \left(\lnot x_{1}\equiv y_{1}\right)\rightarrow\left(x_{2}\equiv\lnot y_{2}\right),\\\left(x_{1}\equiv\lnot y_{1}\right)\rightarrow\left(x_{2}\equiv\lnot y_{2}\right),\\\left(\lnot x_{2}\equiv y_{2}\right)\rightarrow\left(x_{3}\equiv\lnot y_{3}\right),\\\left(\lnot x_{2}\equiv y_{2}\right)\rightarrow\left(\lnot x_{3}\equiv y_{3}\right),\\\left(\lnot x_{3}\equiv y_{3}\right)\rightarrow\left(x_{4}\equiv\lnot y_{4}\right),\\\left(x_{3}\equiv\lnot y_{3}\right)\rightarrow\left(\lnot x_{4}\equiv y_{4}\right),\\\left(\lnot x_{1}\equiv x_{4}\right)\rightarrow\left(y_{4}\equiv\lnot y_{1}\right). \end{array}\]
Ответ
56
Подробнее...