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