Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать.

(x1 ≡ x2) ≡ (x1 ≡ x3) = 1

(x2 ≡ x3) ≡ (x2 ≡ x4) = 1

(x3 ≡ x4) ≡ (x3 ≡ x5) = 1

(x4 ≡ x5) ≡ (x4 ≡ x6) = 1

(x5 ≡ x6) ≡ (x5 ≡ x7) = 1

Правильный ответ:

• # Истинность какого вывода не вызывает сомнения если известно, что: Все мои друзья отдыхают на море. Двое из них иногда отдыхают на озере. Фома – никогда не отдыхает на море.
• # Число различных логических функций, зависящих от n переменных конечно, но резко возрастает с ростом n. Это число можно представить как 2 в степени k. Чему равна степень k в случае логических функций от пяти переменных?
• # Какие операции являются синонимами операции "конъюнкция"?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – дизъюнкцией и Стрелкой Пирса.
• # Бинарное отношение из А в В имеет арность, равную: