Табличные информационные модели моделирование и формализация

Представление информации
в табличной форме
Представленная в таблице информация наглядна, компактна и легко обозрима.
Регионы Российской Федерации
ОБЪЕКТЫ
СВОЙСТВА
Сведения о пропусках уроков
ОБЪЕКТЫ
СВОЙСТВА
ОБЪЕКТЫ
Расстояние между городами (км)
ОБЪЕКТЫ
СВОЙСТВА
ОБЪЕКТЫ
Граница Российской Федерации
В таблице фиксируются качественные свойства (наличие/отсутствие связи между объектами).
ОБЪЕКТЫ
СВОЙСТВА
ОБЪЕКТЫ

Задача о коктейлях
Три подружки - Аня, Света и Настя - купили различные молочные коктейли в белом, голубом и зелёном стаканчиках. Ане достался не белый стаканчик, а Свете - не голубой. В белом стаканчике не банановый коктейль. В голубой стаканчик налит ванильный коктейль. Света не любит клубничный коктейль.
Требуется выяснить, какой коктейль и в каком стаканчике купила каждая из девочек.

Задача о коктейлях
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
1
1
Ответ: Аня купила ванильный коктейль в голубом стаканчике, Света - банановый коктейль в зелёном стаканчике, Настя - клубничный коктейль в белом стаканчике.
У Ани не белый стаканчик, а у Светы не голубой.
Создадим две таблицы:
В белом стаканчике не банановый коктейль.
В голубом стаканчике налит ванильный коктейль.
Значит в голубом стаканчике не банановый и не клубничный коктейль.
Ванильный коктейль не белом стаканчике и не в зелёном.
Следовательно в зелёном стаканчике налит банановый коктейль, а в белом – клубничный.
Света не любит клубничный коктейль, значит у неё не белый стаканчик, а зелёный.
Значит у Насти белый стаканчик, а у Ани – голубой.