Решить логическое уравнение F(x1,x2,x3,x4)=0. Где F:

x1 | x2 & x3 ∧ (!x1 ⇒ x4) ≡ !x1| x2 & 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 корня. Первый корень - набор 000₂ = 0₁₀

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

• # Какие операции являются синонимами операции «импликация»?
• # Истинность какого вывода не вызывает сомнения если известно, что: Царь заказал ювелиру золотую корону. Царь заподозрил, что ювелир при изготовлении короны украл часть золота, заменив его серебром. Доказать виновность ювелира царь поручил Архимеду. Архимед убедил царя в виновности ювелира. Какие доказательства привел Архимед:
• # В элементах бинарных отношений < X1, X2 > будем полагать, что компонента X1 принадлежит области определения отношения, а X2 – принадлежит области значений отношения. Укажите, какие из следующих отношений задают функцию от одного аргумента?
• # Число различных логических функций, зависящих от n переменных конечно, но резко возрастает с ростом n. Это число можно представить как 2 в степени k. Чему равна степень k в случае логических функций от трех переменных?
• # Все молодые люди любят джаз. Некоторые из них любят классическую музыку. Александр - молодой человек. Какие выводы несомненно ложны?