evaluation - 给定上下文的布尔表达式求值

Question

考虑到某些上下文为真，有哪些算法可以评估布尔表达式？

例如，取表达式 A & (B || C) || (E && F) 我们知道表达式 B || F 是真的。什么是创建新表达式的算法？

对于某些上下文、单个谓词或它们中的一系列谓词，这很容易做到。但我不确定一般程序。

Answer 1

停止编码，关闭编译器并打开布尔代数书。