コンテンツにスキップ
論理計算機
計算機
合成
学ぶ
練習
テーマを選択:
システム
言語を選択:
🇯🇵
日本語
メニュー
計算機
合成
学ぶ
練習
テーマ
テーマを選択:
システム
言語
言語を選択:
🇯🇵
日本語
←
演習に戻る
0:00
エキスパート
論理等価性
等価性チェック
次の式を連言標準形（CNF）に変換してください：
A ∨ (B ∧ C)
論理式
挿入:
∧ かつ
∨ または
¬ 否定
→ ならば
↔ 同値
⊤ 真
⊥ 偽
(
)
ヘルプを表示
クリア
ヒントを取得
ここからトレーニングを開始
提出
理論を学ぶ
この練習問題で扱う内容を解説しているガイドです。
人工知能における論理
→
論理がAIシステムの基礎をどのように形成するかを探索します。知識表現と推論エンジンから機械学習と自然言語処理まで。
ブール代数入門
→
ブール代数の数学的基礎、その法則と定理、およびデジタルシステムとコンピュータサイエンスにおける応用を発見してください。
関連する演習
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
以下の論理式は充足可能ですか（真にすることができますか）？ (A | B) & (!A | C) & (!B | !C)…
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
以下の論理式は充足可能ですか？ (A | B) & (!A | B) & (A | !B) & (!A | !B)
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
次の式は恒真式（常に真になる式）ですか？ (A -> B) | (B -> A)
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
簡略化
次の式をできるだけ簡単にしてください： (A & B) | (A & !B) | (!A & B)
←
前へ
次の式を選言標準形（DNF）に変換してください： A -> (B & C) DNFは節の選言であり、各節はリテラルの連言です。
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
次へ
→
以下の論理式を選言標準形（DNF）に変換してください： A & (B | C)
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
