Некоторые методы решения логических задач