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

(x1 ≡ x2) ≡ (x1 ≡ x3) = 1

(x2 ≡ x3) ≡ (x2 ≡ x4) = 1

(x3 ≡ x4) ≡ (x3 ≡ x5) = 1

(x4 ≡ x5) ≡ (x4 ≡ x6) = 1

(x5 ≡ x6) ≡ (x5 ≡ x7) = 1

(x6 ≡ x7) ≡ (x6 ≡ x8) = 1

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

• # Истинность каких утверждений зависит от момента времени, когда было сделано высказывание?
• # В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 6 столбцов – задает отношение арности 6: ID персоны Фам Имя Отч пол Год рожд.1 Соколов Петр Николаевич муж 19602 Соколова Анна Петровна жен 19613 Соколов Николай Петрович муж 19824 Соколов Антон Петрович муж 19885 Соколова Елена Петровна жен 19846 Чижиков Сергей Юрьевич муж 19597 Самохина Татьяна Александровна жен 19608 Чижикова Любовь Сергеевна жен 19819 Чижикова Нина Сергеевна жен 198510 Чижиков Василий Сергеевич муж 198311 Чижиков Николай Васильевич муж 200312 Чижиков Владимир Васильевич муж 200513 Некто Олег Олегович муж 1999 Таблица "Родители" имеет 3 столбца – задает отношение арности 3: ID семьи ID мужа ID жены11 1 212 6 713 10 5 Таблица "Дети" имеет 2 столбца – задает отношение арности 2: ID семьи ID ребенка1 31 41 52 82 92 103 113 12 Кто является ребенком Соколова Петра Николаевича?
• # Выберите совершенную КНФ для функции: (X1 & X2) | X3. Заметьте, функция представлена ДНФ, но не совершенной ДНФ! В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ⇒ x2) ⇒ x3 = 1 (x2 ⇒ x3) ⇒ x4 = 1 (x3 ⇒ x4) ⇒ x5 = 1 (x4 ⇒ x5) ⇒ x6 = 1 (x5 ⇒ x6) ⇒ x7 = 1 (x6 ⇒ x7) ⇒ x8 = 1 (x7 ⇒ x8) ⇒ x9 = 1
• # Какая из следующих бинарных логических функций ложна тогда и только тогда, когда ложен хотя бы один из ее аргумента?