标签:cnf
-
将公式转换为cnf python - python
我想将公式转换为CNF。有图书馆可以这样做吗?这是我的代码。我创建了许多函数来将任何(a或b)转换为CNF格式。 但是,如果有很多命题,那将很难(a> b)&(c&d)或不是(f)。 operator="&|>=~" def isOperand(c): return c >= 'a' and […]
我想将公式转换为CNF。有图书馆可以这样做吗?这是我的代码。我创建了许多函数来将任何(a或b)转换为CNF格式。 但是,如果有很多命题,那将很难(a> b)&(c&d)或不是(f)。 operator="&|>=~" def isOperand(c): return c >= 'a' and […]