В Норильске, Москве, Ростове и Пятигорске живут четыре супружеские пары

§2.4 Табличные информационные модели
Задание 4. В Норильске, Москве, Ростове и Пятигорске живут четыре супружеские пары (в каждом городе — одна пара). Имена этих супругов: Антон, Борис, Давид, Григорий, Ольга, Мария, Светлана, Екатерина. Антон живёт в Норильске, Борис и Ольга — супруги, Григорий и Светлана не живут в одном городе, Мария живёт в Москве, Светлана — в Ростове. В каком городе живёт каждая из супружеских пар?

Заполним две таблицы по условию задачи:

1. Голубым цветом мы заполнили известные нам данные из условия задачи. Со следующего пункта значения «1» в таблице будут розовым. 
2. По условию Борис и Ольга супруги. Борис не может быть в Норильске (Антон из Норильска), а Ольга не может быть в Москве и Ростове (Мария из Москвы, Светлана из Ростова). Это означает, что супруги Борис и Ольга из Пятигорска. 
3. По таблице видно, что Екатерина из Норильска, означающий, что Екатерина и Антон – супружеская пара. 
4. Смотрим вторую таблицу и можем сделать вывод, что супругами являются Светлана и Давид, Мария и Григорий. 
5. Осталось заполнить первую таблицу: Давид из Ростова, Григорий из Москвы.

Ответ: 
Антон и Екатерина – Норильск
Борис и Ольга – Пятигорск
Давид и Светлана – Ростов
Григорий и Мария – Москва