【发布时间】：2012-06-22 17:33:24
【问题描述】：
在给定某些上下文为真的情况下，有哪些算法可以评估布尔表达式？
例如取表达式 A & (B || C) || (E&&F) 我们知道表达式 乙 || F 是真的。创建新表达式的算法是什么？
这对于某些上下文、单个谓词或它们中的一系列 ANDed 一起很容易做到。但我不确定一般程序。
【问题讨论】：
标签： evaluation boolean-expression
【发布时间】：2012-06-22 17:33:24
【问题描述】：
停止编码，关闭编译器并打开布尔代数书。
【讨论】：
-
我手边没有。我在谷歌上搜索了一段时间，甚至没有找到任何引用这个主题的东西。