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