У меня есть длинный набор упрощенных логических выражений в форме DNF: Пример: a или b или (c и d) или (c и e) или (c и f)
Я должен упростить это, чтобы количество символов в результирующем выражении было уменьшено. Вышеприведенное выражение можно упростить, как показано ниже: a или b или (c и (d или e или f))
Я должен решить эту проблему в python. Кроме того, у меня есть логическое выражение до 200000 символов или более. Пожалуйста, дайте мне знать, как я могу решить эту проблему, или любой пакет поможет мне.