Использование алгебры логики. Задача про карабли