問題タブ [boolean-logic]

回路を構築できるように、次のブール代数を単純化しようとしています。

これまでのところ、次のようになりました。

これは正しいです？

可能な限り最小化したいと思います。

これまでに行った手順は次のとおりです。

もっとできますか？

私はこれを行う方法に頭を悩ませようとしています。私が理解しているのは、ゲートの組み合わせを使用して基本的な論理演算AND、OR、およびNOTのそれぞれを実行できる場合、論理ゲートのセットは「機能的に完全」と呼ばれるということです。主張は、NANDゲートが機能的に完全であるということです。

私が理解していないのは、ORゲートをNANDゲートとして構築する方法です。NANDゲートなどからANDゲートを構築します。私が思いついた式は同じ出力を持っている必要がありますか？

真理値表を使用すると、X'= X NAND 1はどうですか？

X NAND 1の意味がわかりません。1がyとして固定されていることを理解していますか？

xNANDyのような2つの入力の間にゲートがあるのを見ると混乱します

x + y = NANDの真理値表を作成するにはどうすればよいですか？

または私はそれを別の方法で行う必要がありますか？

以下の式を使用して、これらの問題を真理値表で解決しようとしています。NOT to NAND に問題があります

最初の 2 つの問題は正しいと思います: AND は NOR に相当し、AND は NAND に相当します

NAND 演算子を使用した AND、OR、および NOT の式は次のとおりです。

NOR 演算子のみを使用した AND、OR、および NOT の式は次のとおりです。

私はこの式に従おうとしています

これは、私がANDからNORに相当する方法です

私の最大の問題は、真理値表の出力でどのように NOT を使用するかです。また、どのように NOT から NOR に移行しますか? これらすべてを真理値表で解決したいと思います。

真理値表の出力は何ですか? どうすればX'から同等のNANDに移行できますか?

この質問はおそらく以前に回答されていると思いますので、申し訳ありませんが、回答を見つけるための適切な検索用語を見つけることができませんでした.

次のコード例を考えると、db.GetRecords().Any()実行されますか?

私はとのルールを知っていますが、と&&は||何ですか？これらを例を挙げて説明してください。&|

コンパイラが次のコードを解釈する方法を誰かが知っているかどうか知りたいです:

&& は || よりも優先順位が高いため、これは本当ですか? または|| は短絡演算子ですか (つまり、短絡演算子は後続のすべての式を無視しますか、それとも次の式だけを無視しますか)?

なぜ

戻るtrue？

二分決定図の背景については、wikipedia の BDD を参照してください。

最も簡単な方法は、BDT (二分決定木) を作成し、次の 2 つのルールに従って縮小することです。
- 同形サブグラフをマージします。
- 2 つの子が同型であるノードを削除します。
しかし、BDD に比べて BDT が非常に巨大になる可能性がある大きな問題が 1 つあります。最初に BDT をビルドせずに BDD をビルドする方法はありますか?

私はjsfiddle.netで遊んでいましたが、なぜこれがtrueを返すのか興味がありますか?

これもそうです：

しかし、これはしません:

この癖は役に立ちますか?

私はオフィスで使用している別のソフトウェアのプラグインを作成しており、ユーザーが作業中のファイルを監査できるようにしています。ツールをできるだけ柔軟に保つようにしています。私が考えているのは、ユーザーが他のノードをサブノードとして含むことができるノードのツリーを生成するということです。ツリーの下部にあるノードは、ユーザーが作業しているファイルに応じて失敗または合格する条件ノードになります。さらに、ユーザーは各ノードを AND、OR、NOR、NAND などの特定のロジック タイプに設定できます。 .

私が今理解しようとしているのは、ノードまたはサブノードによって返された bool のコレクションがある場合、上記のロジック タイプをこのリストに適用する最も効率的な方法は何ですか? 勝手に私はステートメントを書き始めましforeachたが、バイナリ ロジックはコンピューターの動作の基本であるため、より優れた、より高速で反復の少ない方法があるようです。