Решение логических задач средствами алгебры логики Логика примеры решения задач