У меня есть логическая функция, представленная таблицей истины. Можно просто вычислить продукт каждого из M 10-variable Lines/Lines и упростить, но это даст M^10 возможности. Есть лучший способ?
Подробнее здесь: https://stackoverflow.com/questions/645 ... ruth-table
CNF по таблице истины [закрыто] ⇐ Python
-
- Похожие темы
- Ответы
- Просмотры
- Последнее сообщение
-
-
PYSAT Как применить Clausify к объекту Equals при использовании объекта Equals в CNF?
Anonymous » » в форуме Python - 0 Ответы
- 45 Просмотры
-
Последнее сообщение Anonymous
-