Рассмотрим вариант решения задания из учебника Босова, Аквилянов 9 класс, Просвещение: 3.54. В Норильске, Москве, Ярославле и Пятигорске живут четыре супружеские пары (в каждом городе — одна пара). Имена этих супругов: Антон, Борис, Давид, Григорий, Ольга, Мария, Светлана, Екатерина. Антон живет в Норильске, Борис и Ольга — супруги, Григорий и Светлана не живут в одном городе, Мария живет в Москве, Светлана — в Ярославле. В каком городе проживает каждая из супружеских пар? Супруги живут в одном городе. 1. Антон живет в Норильске, Светлана - в Ярославле, Мария - в Москве. Следует, что Борис и Ольга живут в Пятигорске. 2. Григорий не живет в Ярославле, где живет Светлана, и не живет в Норильске и Пятигорске. Следует, что Григорий живет в Москве с Марией. 3. Екатерина может жить только в Норильске, она супруга Антона. 4. Давид может жить только в Ярославле, его супруга Светлана. Ответ: в Норильске – Антон и Екатерина, в Москве Григорий и Мария, в Ярославле – Давид и Светлана, в Пятигорске – Борис и Ольга.