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

(x1 ⇒ x2) ⇒ x3 = 1

(x2 ⇒ x3) ⇒ x4 = 1

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

• # Истинность какого вывода не вызывает сомнения если известно, что: Все мои друзья отдыхают на море. Двое из них иногда отдыхают на озере. Фома – никогда не отдыхает на море.
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = (X1 | X2) & X3; Ф2 = X1 | (X2 & X3);
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) ≡ (x1 ≡ x3) = 1 (x2 ≡ x3) ≡ (x2 ≡ x4) = 1 (x3 ≡ x4) ≡ (x3 ≡ x5) = 1
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (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 (x6 ≡ x7) ≡ (x6 ≡ x8) = 1
• # Какую операцию следует выполнить последней при вычислении выражения: X ⇒ (Y & U | V) & X <=> Y