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

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

• # Какие отношения являются функциями?
• # Какие отношения являются функциями?
• # Какая из следующих бинарных логических функций может быть задана как отрицание функции Эквивалентность?
• # Решить логическое уравнение F(x1,x2,x3,x4)=0. Где F: ((x1 ≡ x2) & (x1 ≡ x3)) | ((x1 ≡ x3) & (x1 ≡ x4)) | ((x1 ≡ x2) & (x1 ≡ 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
• # Сколько существует различных логических функций?