問題タブ [boolean-algebra]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
boolean-algebra - ブール代数: (A'+B)(A+C)
この表現には少し問題があります。
次のように単純化できることはわかっています。
単純化するためにいくつかのソフトウェアを使用したので、それがどのように行われるのかわかりません。
これは私がこれまでに行ったことです:
これを別の方法で実行して正しい結果を得る方法がわからないだけです。
algorithm - 部分的 XOR-SAT アルゴリズム + 説明?
ブール代数について発見したばかりで、まだ学習中なので、しばらくお待ちください... :)
以下を探しています。私が理解している限り、ブール関数の変数のすべての可能な値を見つける問題は「充足可能性」問題と呼ばれています。
私は満足のいく道に沿って何かをしたくありません.
セットアップは、100 ~ 10_000 変数の関数です。関数は単純なXOR 、すなわち x1 ^ x2 ^ x3 .... です。さらに、変数値の半分は事前にわかっている可能性があるため、部分的な満足を行いたいと考えています。
解決策を見つける最善の方法は何ですか?
私は現在PyEDAを試しているので、一般的なブール代数に慣れることができます。私はまだ部分的な満足を行う方法を見つけていません。しかし、見つけたとしても、自分でアルゴリズムをコーディングできるようになりたいです。
純粋な XOR-partial-SAT の解決策を見つけた後、他の数式も調べたいと思います。そのため、XOR-SAT を調べた後に、より一般的なアルゴリズムが必要になる可能性があります。
例 :
bit-manipulation - ブール式の証明
x^18は((x|(~44))&(x^62))+(x&44) ?? と同等です。
これはどのように可能でしょうか?
この公式の証明について詳しく知りたいのですが...
optimization - ブール代数は実際にはどのように効率的ですか?
お時間を割いていただきありがとうございます。念のために言っておきますが、私はブール代数の基礎を理解しています。
ブール代数が非常に小さな回路で役立つ最適化手法であることは理解していますが、現実的なサイズの回路では時間がかかりすぎます。回路は分離され、ブール代数の法則が適用されますが、これには長い時間がかかりますか?それとも、より複雑な回路を最適化するために使用されるブール代数よりも優れた手法はありますか? 私は本当に興味をそそられました。前もって感謝します。