Решение логических задач с помощью графов