コンテンツにスキップ
論理計算機
計算機
合成
学ぶ
練習
テーマを選択:
システム
言語を選択:
🇯🇵
日本語
メニュー
計算機
合成
学ぶ
練習
テーマ
テーマを選択:
システム
言語
言語を選択:
🇯🇵
日本語
←
演習に戻る
0:00
エキスパート
論理等価性
簡略化
連言標準形(CNF)に変換してください:
(A ∧ B) ∨ (B ∧ C) ∨ (A ∧ C)
論理式
挿入:
∧ かつ
∨ または
¬ 否定
→ ならば
↔ 同値
⊤ 真
⊥ 偽
(
)
ヘルプを表示
クリア
ヒントを取得
ここからトレーニングを開始
提出
理論を学ぶ
この練習問題で扱う内容を解説しているガイドです。
人工知能における論理
→
論理がAIシステムの基礎をどのように形成するかを探索します。知識表現と推論エンジンから機械学習と自然言語処理まで。
ブール代数入門
→
ブール代数の数学的基礎、その法則と定理、およびデジタルシステムとコンピュータサイエンスにおける応用を発見してください。
関連する演習
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
簡略化
次の非常に複雑な式を簡約化してください: (((A -> B) & (B -> C)) -> (A -> C)) & (((A | B) & !A) ->…
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
次の式はトートロジーですか? ((A -> B) -> A) -> A これはチャールズ・サンダース・パースにちなんで名付けられた、パースの法則として知られてい…
難易度:
初級
カテゴリ:
論理等価性
タイプ:
証明完成
この証明の欠けている正当化理由を埋めてください。 ゴール: Qを証明する
難易度:
中級
カテゴリ:
論理等価性
タイプ:
証明完成
以下の証明を完成させなさい: 1. P → Q (前提) 2. Q → R (前提) 3. P (前提) 4. _ (?) 5. _ (?) 目標: R…
←
前へ
A & (B | C) ≡ (A & B) | (A & C) が真である(分配法則)とき、…
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
次へ
→
ホーン節とは、最大で1つの正リテラルを持つ節(リテラルの選言)です。 式: (!A | !B | C) これはホーン節ですか?
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック