О сложности преобразования булевых формул для некоторых классов Постакурсовая работа (Специалист)