minbool 1.0

简化表达式

>>> import minbool
>>> result = minbool.simplify("A and not C or A and C")
>>> result
<minbool.ASTBooleanExpression object at 0xb723606c>
>>> result.ast()
<_ast.Name object at 0xb722ef2c>
>>> str(result)
'A'

生成表达式

有时从现有函数生成布尔表达式很有用

>>> def f(A, B, C, D):
...     return A if B else C or D
...
>>> result = minbool.synthesize(f, 'A', 'B', 'C', 'D')
>>> result
<minbool.BooleanExpression object at 0xb72361cc>
>>> str(result)
'(not(B) and D) or (not(B) and C) or (A and B)'

命令行使用

minbool egg安装了一个控制台脚本：“simplify”

$ simplify A and B or A and C and not C
(A and B)

性能

性能为指数级大O。在每种情况下都会构建一个真值表，其中行数为2**N，N为表达式中变量的数量。