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

(x1 ⇒ x2) ⇒ x3 = 1

(x2 ⇒ x3) ⇒ x4 = 1

(x3 ⇒ x4) ⇒ x5 = 1

(x4 ⇒ x5) ⇒ x6 = 1

(x5 ⇒ x6) ⇒ x7 = 1

(x6 ⇒ x7) ⇒ 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 Кто является ребенком Соколова Петра Николаевича?
• # Решить логическое уравнение F(x1, x2,x3,x4)=1. Где F: ((x1 | x2 & x3 ∧ !x1) ⇒ x4) ≡ !x1| x2 & x4 В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и представляют двоичную запись чисел от 0 до 15, представленную двоичным словом длины 4: 0000, 0001, 0010 и т.д. При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3) = 1, где F: x1| x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 5(2) Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102 = 210
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) ≡ (x1 ≡ x3) = 0 (x2 ≡ x3) ≡ (x2 ≡ x4) = 0