Выберите совершенную КНФ для функции: (X1 | X2) => X3. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.

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

• # В этой задаче, рассматривая элемент отношения <x1, x2, … xn, xn+1>, будем полагать, что компоненты x1, x2, … xnпринадлежат области определения отношения, а xn+1– принадлежит области значений отношения. Укажите, какие из следующих отношений задают функции?
• # Даны множества: X1, X2, X3, X4 . Отметьте элементы множества Y, которое является пересечением заданных множеств. X1 = {0.1, 0.5, 0.7, 0.9}; X2 = {0.1, 0.7, 0.9}; X3 = {0.1, 0.9}; X4 = {0.1, 0.6, 0.9}.
• # Примените метод вывода полной индукции для ответа на вопрос "Сколько чисел - градин в диапазоне [5,7] имеют длину вывода больше 16?"
• # В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 6 столбцов – задает отношение арности 6: ID персоныФамилияИмяОтчествополГод рождения1СоколовПетрНиколаевичмуж19602СоколоваАннаПетровнажен19613СоколовНиколайПетровичмуж19824СоколовАнтонПетровичмуж19885СоколоваЕленаПетровнажен19846ЧижиковСергейЮрьевичмуж19597СамохинаТатьянаАлександровнажен19608ЧижиковаЛюбовьСергеевнажен19819ЧижиковаНинаСергеевнажен198510ЧижиковВасилийСергеевичмуж198311ЧижиковНиколайВасильевичмуж200312ЧижиковВладимирВасильевичмуж200513НектоОлегОлеговичмуж1999 Таблица "Родители" имеет 3 столбца – задает отношение арности 3: ID семьиID мужаID жены1122673105 Таблица "Дети" имеет 2 столбца – задает отношение арности 2: ID семьиID ребенка1314152829210311312 Используя данные трех таблиц, постройте таблицу "Дядя или Тетя" с двумя столбцами – ID персоны и ID дяди или тети персоны. Сколько строк будет в этой таблице?
• # Даны множества: X1 = {a, c, d}; X2 = {a, d}; X3 = {a, e, d}. Укажите первый элемент множества Y, которое является декартовым произведением заданных множеств, сохраняя упорядоченность элементов исходных множеств.