В элементах бинарных отношений < X1, X2 > будем полагать, что компонента X1 принадлежит области определения отношения, а X2 – принадлежит области значений отношения. Укажите, какие из следующих отношений задают функцию от одного аргумента?

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

• # В элементах бинарных отношений < X1, X2 > будем полагать, что компонента X1 принадлежит области определения отношения, а X2 – принадлежит области значений отношения. Укажите, какие из следующих отношений задают функцию от одного аргумента?
• # Какая из следующих бинарных логических функций принимает значение истина, если ее первый аргумент ложен?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = ((!X1) | X2) &( ! X3); Ф2 = !X1 | (!X2 & X3);
• # Решить логическое уравнение F(x1, x2,x3)=1. В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 8) считаются упорядоченными и представляют двоичную запись чисел от 0 до 7, представленную двоичным словом длины 3: 000, 001, 010 и т.д. где: F11: (x1 & x2) ⇒ X3 При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3) = 1, где F: x1 | x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 5(2) Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102= 210
• # Областью определения бинарного отношения, действующего из множества А1 в А2 является