Решить логическое уравнение 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, … xn, xn+1>, будем полагать, что компоненты x1, x2, … xnпринадлежат области определения отношения, а xn+1– принадлежит области значений отношения. Укажите, какие из следующих отношений задают функции?
• # Сколько существует логических функций без аргументов Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = (X1 &X2) & X3; Ф2 = X1 &(X2 & X3);
• # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(X1, X2, X3): X1X2X3F(X1, X2,X3)000100100100 Определить, какая из функций Fj совпадает с функцией F на заданном фрагменте таблицы истинности, если:
• # Все ученики старших классов школы играют в волейбол. Некоторые из них играют в баскетбол. Иванов – старшеклассник. Истинность какого вывода не вызывает сомнения?
• # В реляционной базе данных хранится информация о проектной организации в трех таблицах: Сотрудники, Проекты, Разработчики. Таблица "Сотрудники" имеет 6 столбцов – задает отношение арности 6: ID сотрудникаФамилияИмяОтчествоотделДолжность1СоколовПетрНиколаевич1начальник2СоколоваАннаПетровна2программист3СиницынНиколайПетрович3старший программист4ЯстребовАнтонПетрович1архитектор5КоршуноваЕленаПетровна3старший программист6ЧижиковСергейЮрьевич1программист7ВоробьеваТатьянаАлександровна2архитектор8ГолубеваЛюбовьСергеевна2программист9ОрловВасилийСергеевич3программист Таблица "Проекты" имеет 2 столбца – задает отношение арности 2: ID проектаназвание проекта1Супер2Гром3Молния Таблица "Разработчики" имеет 2 столбца – задает отношение арности 2: ID Сотрудника111223344556788999ID проекта123132313131212123 К базе данных, хранящей информацию о проектной организации, можно обращаться с разными вопросами. Ответьте на следующий вопрос: "В каких проектах участвует Ястребов Антон Петрович?".