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

Ф1 = (X1 & X2) | X3;

Ф2 = X1 ⇒ (X2 ⇒X3);

Ф3 = X1 & (X2 & X3).

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

• # Даны множества:X1, X2, X3, X4. Для каких из этих множеств множество Y является подмножеством? X1 = {a, b, 9}; X2 = {3, a, b}; X3 = {3, b, 9}; X4={a, b, 3}; Y = {3, a}
• # Сколько элементов принадлежат заданному отношению? Отношение "Больше" ("X > Y") на множестве целых чисел от 1 до 10.
• # Примените метод вывода полной индукции для ответа на вопрос "Какое из чисел - градин в диапазоне [3,5] имеет наибольшую длину вывода?"
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – Исключающим ИЛИ и штрихом Шеффера.
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите минимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где: Ф1 = (X1 & X2) | X3; Ф2 = X1 ⇒ (X2 ⇒X3); Ф3 = X1 | (X2 | X3).