Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите максимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где:

Ф1 = (X1 & X2) | X3;

Ф2 = X1 ⇒ (X2 ⇒X3);

Ф3 = X1 | (X2 | X3).

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

• # Даны множества: X1, X2, X3, X4 . Отметьте элементы множества Y, которое является пересечением заданных множеств. X1 = {1, 2, 3, 4, 5}; X2 = {1, 3, 5}; X3 = {1, 3}; X4 = {1, 2, 3}.
• # Решить логическое уравнение 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
• # Решить логическое уравнение F(x1,x2,x3,x4)=0. Где F: (x1 | x2) ⇒ (x3 ∧ x4) В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и представляют двоичную запись чисел от 0 до 15, представленную двоичным словом длины 4: 0000, 0001, 0010 и т.д. При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3)=0, где F: x1|x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 3(0) Пояснение ответа: уравнение имеет 3 корня. Первый корень - набор 0002 = 010
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) ≡ (x1 ≡ x3) = 0 (x2 ≡ x3) ≡ (x2 ≡ x4) = 0 (x3 ≡ x4) ≡ (x3 ≡ x5) = 0 (x4 ≡ x5) ≡ (x4 ≡ x6) = 0 (x5 ≡ x6) ≡ (x5 ≡ x7) = 0
• # Какие операции являются синонимами операции "импликация"?