В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 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

Используя данные трех таблиц, постройте таблицу "Брат или сестра" с двумя столбцами – ID персоны и ID брата или сестры персоны. Сколько строк будет в этой таблице, учитывая симметричность отношения?

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

• # Какой из разделов математической логики позволяет формализовать утверждения, связанные с единичным объектом?
• # Какие утверждения относятся к логике высказываний?
• # Сколько существует логических функций без аргументов Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = (X1 &X2) & X3; Ф2 = X1 &(X2 & X3);
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – импликацией и конъюнкцией:
• # Какую операцию следует выполнить последней при вычислении выражения: (Y & U | V) <=> !Y | X