evaluation - 特定のコンテキストでのブール式の評価

Question

いくつかのコンテキストが真であると見なされた場合にブール式を評価するためのアルゴリズムは何ですか?

たとえば、式 A & (B || C) || を取ります。(E && F) であり、式 B || F は真です。新しい式を作成するためのアルゴリズムとは?

これは、特定のコンテキスト、単一の述語、または一連の述語の anded に対して簡単に実行できます。しかし、一般的な手順についてはわかりません。

Answer 1

コーディングを停止し、コンパイラを閉じて、ブール代数の本を開いてください。