Сколько элементов принадлежат заданному отношению?

Отношение "Больше" ("X > Y") на множестве целых чисел от 2 до 8.

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

• # Даны множества: X1, X2, X3, X4 . Отметьте множество Y, которое является пересечением заданных множеств. X1 = {2a, 3a, 7a, 9a}; X2 = {3a, 7a, 9a}; X3 = {3a, 9a}; X4 = {3a, 6a, 9a}.
• # Выберите совершенную КНФ для функции: (X1 & X2) => X3. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
• # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(x1, x2, x3, x4): [Большая Картинка] Отметьте функцию, которая совпадает с функцией F на заданном фрагменте таблицы истинности:
• # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(x1, x2, x3, x4): [Большая Картинка] Отметьте функцию, которая совпадает с функцией F на заданном фрагменте таблицы истинности:
• # Решить логическое уравнение F(x1, x2,x3,x4)=1. Где F: x1 | x2 & (x3 ∧ !x1 ⇒ x4) ≡ !x1 | x2 & x4 В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и представляют двоичную запись чисел от 0 до 15, представленную двоичным словом длины 4: 0000, 0001, 0010 и т.д. При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3) = 1, где F: x1| x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 5(2) Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102 = 210