我所发现的最快的方法是将真值表构建为一个矩阵,并查看特定的行(由于该算法是不讨论主题的),问题是一旦唯一输入的数量超过26-27 (大约在这个范围内),内存的使用率就远远超过16 go (最大的计算机)然后将这些值与输入名称一起压缩,并用于计算表达式。这将给出初始结果,然后我在随机布尔列表中逐列翻转布尔值,然后再用输入进行压缩,
为了适应F#,我尝试了一些小示例,下一步是编写一些用于逻辑计算/评估的函数,现在我有了这个结构 | True | Not of Expr| And of Expr * Expr
我想要实现的目标应该是显而易见的:能够封装不同的函数,比如Not和And,以便在And(And(True, Not(False)), True)这样的计算中使用,但目前