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

(x1 ≡ x2) ≡ (x1 ≡ x3) = 0

(x2 ≡ x3) ≡ (x2 ≡ x4) = 0

(x3 ≡ x4) ≡ (x3 ≡ x5) = 0

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

• # Какова мощность множества (число его элементов), задающего область определения логической функции от одной переменной?
• # Сколько существует логических функций без аргументов Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = (X1 &X2) & X3; Ф2 = X1 &(X2 & X3);
• # Решить логическое уравнение F(x1, x2,x3,x4)=1. Где F: (x1 ≡ x2) | (x3 ≡ x4) В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и представляют двоичную запись чисел от 0 до 15, представленную двоичным словом длины 4: 0000, 0001, 0010 и т.д. При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3) = 1, где F: x1| x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 5(2) Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102 = 210
• # Все выпускники школы сдавали ЕГЭ по русскому языку. Некоторые выпускники сдавали ЕГЭ по обществоведению. Петя не сдавал ЕГЭ по обществоведению. Какие выводы могут быть как истинными, так и ложными?
• # Даны множества: X1 = {a2, b2, c2, d2}; X2 = {a2, c2, d2}; X3 = {a2,d2}; X4 = {a2, e2, d2}. Укажите множество Y, которое является пересечением заданных множеств.