В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 6 столбцов – задает отношение арности 6:

ID персоны	Фамилия	Имя	Отчество	пол	Год рождения
1	Соколов	Петр	Николаевич	муж	1960
2	Соколова	Анна	Петровна	жен	1961
3	Соколов	Николай	Петрович	муж	1982
4	Соколов	Антон	Петрович	муж	1988
5	Соколова	Елена	Петровна	жен	1984
6	Чижиков	Сергей	Юрьевич	муж	1959
7	Самохина	Татьяна	Александровна	жен	1960
8	Чижикова	Любовь	Сергеевна	жен	1981
9	Чижикова	Нина	Сергеевна	жен	1985
10	Чижиков	Василий	Сергеевич	муж	1983
11	Чижиков	Николай	Васильевич	муж	2003
12	Чижиков	Владимир	Васильевич	муж	2005
13	Некто	Олег	Олегович	муж	1999

Таблица "Родители" имеет 3 столбца – задает отношение арности 3:

ID семьи	ID мужа	ID жены
1	1	2
2	6	7
3	10	5

Таблица "Дети" имеет 2 столбца – задает отношение арности 2:

ID семьи	ID ребенка
1	3
1	4
1	5
2	8
2	9
2	10
3	11
3	12

К базе данных, хранящей информацию о семьях, можно обращаться с разными вопросами. Ответьте на следующий вопрос: "Сколько внуков у Самохиной Татьяны Александровны?"

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

• # На какие разделы (фрагменты) принято делить математическую логику?
• # Сколько элементов принадлежат заданному отношению? Отношение "Больше" ("X > Y") на множестве целых чисел от 1 до 5.
• # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(x1, x2, x3, x4): [Большая Картинка] Отметьте функцию, которая совпадает с функцией F на заданном фрагменте таблицы истинности:
• # Решить логическое уравнение 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) = 1 (x2 | x3) & (x2 ∧ x4) = 1