Решить логическое уравнение F(x1, x2,x3)=1. В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 8) считаются упорядоченными и представляют двоичную запись чисел от 0 до 7, представленную двоичным словом длины 3: 000, 001, 010 и т.д. где:

F6: X1 ≡ (X2 | X3);

При указании набора запишите его как десятичное число.

Пример: Решить уравнение F(x1,x2,x3) = 1,

где F:

x1 | x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3.

Ответ: 5(2)

Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 010₂= 2₁₀

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

• # Даны множества:X1, X2, X3, X4. Для каких из этих множеств множество Y является собственным подмножеством? X1 = {3, a, b, 9}; X2 = {3, b, a}; X3 = {3, a, 4}; X4 = {3, 6, 9}; Y = {3, a}
• # В элементах бинарных отношений < X1, X2 > будем полагать, что компонента X1 принадлежит области определения отношения, а X2 – принадлежит области значений отношения. Укажите, какие из следующих отношений задают функцию от одного аргумента?
• # Примените метод вывода полной индукции для ответа на вопрос "Сколько палиндромных чисел в диапазоне [200,250]?"
• # Выберите совершенную ДНФ для функции: (X1 & X2) | X3. Заметьте, функция представлена ДНФ, но не совершенной ДНФ! В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
• # Даны множества: X1 = {a, b, c, d}; X2 = {a, c, d}; X3 = {a, d}; X4 = {a, e, d}. Укажите множество Y, которое является объединением заданных множеств.