Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите минимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где:

Ф1 = (X1 &X2) | X3;

Ф2 = X1 ⇒ (X2 ⇒X3);

Ф3 = X1 & X2 ⇒ X3.

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

• # В этой задаче, рассматривая элемент отношения <x1, x2, … xn, xn+1>, будем полагать, что компоненты x1, x2, … xnпринадлежат области определения отношения, а xn+1– принадлежит области значений отношения. Укажите, какие из следующих отношений задают функции?
• # Сколько кортежей в области определения логической функции от четырех переменных?
• # Выберите совершенную ДНФ для бинарной функции – эквивалентность X1 ? X2. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
• # В реляционной базе данных хранится информация о проектной организации в трех таблицах: Сотрудники, Проекты, Разработчики. Таблица "Сотрудники" имеет 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 Используя данные, хранящиеся в базе данных, постройте таблицу "проекты - отделы" с двумя полями – ID проекта и ID отдела, содержащую информацию о том, какие отделы участвуют в разработке проекта. Сколько записей будет в этой таблице?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – дизъюнкцией и штрихом Пирса.