Какова мощность множества (число его элементов), задающего область определения логической функции от двух переменных?

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

• # Даны множества:X1, X2, X3, X4. Для каких из этих множеств множество Y является подмножеством? X1 = {0, #, b, $}; X2 = {3, #, b, $}; X3 ={0, $, 3}; X4={$, b, 0, 3}; Y = {0, $, b}
• # Выберите совершенную ДНФ для бинарной функции – импликация X1 => X2. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта. (!X1 & !X2) | (!X1 & X2) | (X1 & X2)
• # Какую операцию следует выполнить последней при вычислении выражения: X <=> (Y & U | V) & X ⇒ Y
• # Задача о Шерлоке Холмсе и тайной комнате: Шерлок Холмс предполагал, что в доме находится некий предмет. Но ни в одной из комнат, найти искомый предмет не удалось. К какому выводу пришел Шерлок Холмс?
• # Какое отношения имеют арность равную 6?