CNF по таблице истины [закрыто] ⇐ Python

[Anonymous]

У меня есть логическая функция, представленная таблицей истины. Можно просто написать пункт о блокировании для каждой строки таблицы, которая является ложной, но если есть только несколько строк, которые верны, будет много ложных линий, когда будет 10 переменных. Также можно рассчитать декартовый продукт T 10-переменных терминов, соответствующих истинным моделям, а затем отфильтровать продукты, которые имеют противоречивые литералы, а затем удаляют суперсеты, но количество продуктов составляет 10^t , которые могут быть намного больше, чем общее количество моделей, 2^10 . Есть лучший способ?

Подробнее здесь: https://stackoverflow.com/questions/645 ... ruth-table