コンテンツにスキップ
論理計算機
計算機
合成
学ぶ
用語集
練習
テーマを選択:
システム
言語を選択:
🇯🇵
日本語
メニュー
計算機
合成
学ぶ
用語集
練習
テーマ
テーマを選択:
システム
言語
言語を選択:
🇯🇵
日本語
←
演習に戻る
0:00
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
簡略化
以下の式を最小化してください：
(A ∧ B ∧ C) ∨ (A ∧ B ∧ ¬C) ∨ (A ∧ ¬B ∧ C)
論理式
挿入:
∧ かつ
∨ または
¬ 否定
→ ならば
↔ 同値
⊤ 真
⊥ 偽
(
)
ヘルプを表示
クリア
ヒントを取得
ここからトレーニングを開始
提出
理論を学ぶ
この練習問題で扱う内容を解説しているガイドです。
論理ゲートとデジタル回路
→
ブール論理が論理ゲート（AND、OR、NOT、NAND、NOR、XOR）を通じてハードウェアでどのように実装されるか、そしてこれらのゲートがどのように組み合わされて現代のコンピューティングを駆動するデジタル回路を形成するかを探索します。
カルノー図
→
ブール式を目で見て簡単化する方法：マスの並び順、1 と 0 のまとめ方、そして図から最簡形を読み取る手順。
関連する演習
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
以下は妥当な論証（トートロジー）ですか？ ((A -> B) & A) -> B これはモーダスポネンス（Modus…
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
以下は妥当な論証（トートロジー）ですか？ ((A -> B) & !B) -> !A これはモーダストレンス（Modus…
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
以下は妥当な論証（トートロジー）ですか？ ((A | B) & !A) -> B これは選言三段論法として知られています。
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
簡略化
次の4変数の論理式を最小化してください: (A & B & C & D) | (A & B & C & !D) | (A & B & !C & D) | (A…
←
前へ
以下をNOR演算のみを使用して表現してください（!(P | Q)として表されます）： A & B…
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
次へ
→
以下がトートロジーであることを証明してください: ((A -> B) & (B -> C)) -> (A -> C) これは含意の推移律です。
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
