具有给定上下文的布尔表达式评估

Question

在给定一些上下文的情况下，有什么算法可以用来评估布尔表达式？

例如，取表达式     A＆amp; （B || C）|| （E＆amp; F） 我们知道那个表达     B || F 是真的。什么是创建新表达式的算法？

对于某些上下文，单个谓词或其中的一系列内容，这很容易实现。但我不确定一般程序。

Answer 1

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