問題タブ [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.
math - この論理文を接続法標準形に変換してください
この文を CNF に変換するのに苦労しています。
(A ∨ B) ⇔ (C ∧ D)。
私はすでに二条件消去論理規則を使用して⇔を消去しようとしました。
(A ∨ B) → (C ∧ D) ∧ (C ∧ D) → (A ∨ B)。
次に、含意消去論理規則で → を消去しました。今私が持っています
¬(A ∨ B) ∨ (C ∧ D) ∧ ¬(C ∧ D) ∨ (A ∨ B)。
私はここでかなり立ち往生しています。私の教授は、文を減らすために分布規則を使用する必要があると言います。分配性ルールの要件に一致するものを見つけることができないようです。そのため、私が知らない論理ルールを実行する前に、分配ルールを使用できないようです。
ここで何が欠けていますか？スタック オーバーフローは、CNF への変換を再開するのに役立ちますか?
boolean-logic - ブール代数を使用した単純化
の最も単純な形式はA'B'C' + A'B'C + A'BC' + AB'C'何ですか? Kマップとブール代数のルールの両方を使用して試してみましたが、異なる答えが得られました!
boolean-logic - Max 項を使用したブール代数
次の式を簡略化したい: F = (A+B+C)(A+B'+C)(A'+B+C)
それに応じて簡略化しました。
F = (A+B+C)(A+B'+C)(A'+B+C)
F = (A+C)(A'+B+C)
F = AA' + AB + AC + A'C + BC + C
F = AB + C(A + A' + B + 1) = AB + C
しかし、正解は(A+C)(B+C)です。私の「現在の」証明のどこが間違っているのでしょうか? 解決策を見てきましたが、現在のアプローチが間違っている理由を知りたいです。
java - 論理演算子を使用した式 - それは何と同等ですか?
次の論理演算子式があります。
どのように単純化して同等のものを見つけますか?
verilog - Verilog - || の混乱 および + 演算子
ブール代数では、項の加算は OR ゲートに対応し、乗算は AND ゲートに対応します。
次のように機能するサーモスタットの送風ファンが必要だとします。
ヒーターまたはエアコンのいずれかがオンになっている場合は、ファンがオンになるはずです。あるいは、ユーザーが (入力fan_onをオンにして) ファンをオンにするように要求した場合、ヒーターやエアコンがオフの場合でもファンはオンになるはずです。
これらの要件に基づいて、Verilog コードのロジック ステートメントを次のように定式化しました。
ただし、シミュレーションでは、これは間違った解になります。ただし、これは機能します：
同様に
私の質問：
+ 演算子について誤解していることは何ですか? また、機能する後者の 2 つのソリューションの間で混乱しています。なぜ両方が機能し、論理 OR 演算子のみを使用する最後のソリューションが、やりたいことを行うためのより正しい (または推奨される) 方法ですか?
編集＃1：これは、入力と出力を宣言したモジュール全体です