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

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

• # Даны множества:X1, X2, X3, X4. Для какого из этих множеств множество Y является подмножеством? X1 = {, a, b, 9}; X2 = {$, a, b, }; X3 = {3, , 9}; X4 ={, 3}; Y = { , $}
• # В элементах бинарных отношений < X1, X2 > будем полагать, что компонента X1 принадлежит области определения отношения, а X2 – принадлежит области значений отношения. Укажите, какие из следующих отношений задают функцию от одного аргумента?
• # Число различных логических функций, зависящих от n переменных конечно, но резко возрастает с ростом n. Это число можно представить как 2 в степени k. Чему равна степень k в случае логических функций от одной переменной?
• # Выберите совершенную ДНФ для бинарной функции – эквивалентность X1 ? X2. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 & x2) | (x1 ∧ x3) = 1 (x2 & x3) | (x2 ∧ x4) = 1 (x3 & x4) | (x3 ∧ x5) = 1