使用給定上下文進行布爾表達式評估

Question

給定某些上下文被視爲true時評估布爾表達式的算法是什麼？

例如採取表達 甲&（B || C）|| （E & & F） 並且我們知道表達式 B || F 是真的。什麼是創建新表達式的算法？

對於某些情境，單個謂詞或其中的一系列情節，這很容易做到。但我不確定一般程序。

Answer 1

停止編碼，關閉編譯器並打開布爾代數的書。