問題タブ [boolean-expression]

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

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

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

次のようなブール式を単純化するためのオープンソースのJavaライブラリまたはJavaソースコードはありますか

どこ、

この点であなたの助けをいただければ幸いです

そうする理由はありますか？つまり、minterms の合計で、出力 1 の用語を探します。彼らがそれを「minterms」と呼ぶ理由がわかりません。1 は 0 よりも十分に大きいため、なぜ maxterms を使用しないのでしょうか?

私が知らないこの背後にある理由はありますか？それとも、理由を聞かずにそのまま受け入れる必要がありますか?

だから私は立ち往生しています

しかし、最終的な答えは

私は何が欠けていますか？

何を使うべきですか？それとも、私が一方を他方の上に使用する必要がある特別な機会がありますか？

この疑似コード関数のリターン ケースを式として表現しようとしています。具体的には、(A==X)&&(B==Y) の場合にどのリターン ケースが実行されるかを説明します。

列挙型は {X, Y, Z} として定義されます

これを適切に行う方法を知っている人はいますか。6 変数の Kmap を使用しようとしましたが、私の答えは正しくないようでした。私が得た最も近いものは次のとおりです。

しかし、私が適用に行くとき！表現を操作する場合、迷います。OR が AND になり、== が != になるブール論理に似たものに従いますか?

残念ながら、真理値表を試してみたところ、1 つには 3 つのリテラルがあり、もう 1 つには 4 つのリテラルがあるため、混乱しました。

これは簡易版です

http://www.belley.org/etc141/Boolean%20Sinplification%20Exercises/Boolean%20Simplification%20Exercise%20Questions.pdf

このレビュアーには何か問題があると思います..それとも正確ですか? ところで、単純化は最小項の合計から製品の合計への最小化とは異なりますか?

は

と同じ

これは可能ですか？何かを単純化しているときにこれを取得しました。

javaで最小項(ブール代数)の合計を生成するにはどうすればよいですか? minterms throw ANDing の合計を生成できます(X+X')。次の例は、3 つの変数 A、B、および C を持つ関数のアルゴリズムを説明しています。

Java のメソッドは次のようになります。

私は次のことを試しました：

エラーを見つけるために Eclipse デバッガーを使用しましたが、この行を実行すると、m2 に追加されたアトムが同時に m1 にも追加される理由がわかりません。