Выберите совершенную КНФ для бинарной функции – импликация X1 => X2. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.

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

• # Укажите, какой функции принадлежит отношение {<3, 40>, <4, 54>,<2, 26>,<1, 12>}:
• # Какое отношение является функцией?
• # Решить логическое уравнение 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 = {a, b, c, d}; X2 = {a, c, d}; X3 = {a, d}; X4 = {a, e, d}; Для каких из этих множеств множество Y = {a, d} является подмножеством?
• # Даны множества: X1 = {a1, c1, d1}; X2 = {a1, d1}; X3 = {a1, e1, d1}. Укажите первый элемент множества Y, которое является декартовым произведением заданных множеств, сохраняя упорядоченность элементов исходных множеств.