Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать.

(x1 ⇒ x2) ⇒ x3 = 1

(x2 ⇒ x3) ⇒ x4 = 1

(x3 ⇒ x4) ⇒ x5 = 1

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

• # Сколько существует логических функций?
• # Выберите совершенную КНФ для функции: (X1 & X2) | X3. Заметьте, функция представлена ДНФ, но не совершенной ДНФ! В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
• # В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 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 К базе данных, хранящей информацию о семьях, можно обращаться с разными вопросами. Ответьте на следующий вопрос: "Кто является ребенком Соколова Петра Николаевича?"
• # Какую операцию следует выполнить последней при вычислении выражения: (Y & U | V) <=> !Y | X
• # Даны множества: X1 = {3, 5, 7, 9}; X2 = {3, 7, 9}; X3 = {3, 9}; X4 = {3, 6, 9}. Укажите множество Y, которое является пересечением заданных множеств.