标签： boolean-logic boolean-expression boolean-operations
因此，我知道Karnaugh映射和Quine McCluskey，但两者似乎都需要真值表。对于32位来说，这似乎很好，但是即使使用32位，也意味着您的真值表中有40亿个条目。
如果您有（说）一千个位作为输入，并且对输出有一些庞大的公式，但是显然无法一路枚举它们（。^ 2 ^ 1024之类）。
有没有一种表达方式（比如这样的表达
a和b而不是c和（b或c）和（not d）...并返回简化表达式？可以容纳数百或数千个变量的变量吗？
谢谢..