Решение логических задач. Немного поясняю 8 кл. суть решения из учебника Босовой, с. 32. Первая решается таблицей, вторую надо формализовать