Решить логическое уравнение 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 корня. Первый корень - набор 000₂ = 0₁₀

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

• # Укажите, какой функции принадлежит отношение {<3, 40>, <4, 114>,<2, 2>,<1, -12>}:
• # Какая из следующих бинарных логических функций может быть задана как отрицание функции Эквивалентность?
• # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(x1, x2, x3, x4): [Большая Картинка] Отметьте функцию, которая совпадает с функцией F на заданном фрагменте таблицы истинности:
• # Даны множества: X1 = {a1, b1, c1, d1}; X2 = {a1, c1, d1}; X3 = {a1, d1}; X4 = {a1, e1, d1}. Укажите множество Y, которое является пересечением заданных множеств.
• # Какое отношение имеют арность равную 4?