コンテンツにスキップ
論理計算機
計算機
合成
学ぶ
用語集
練習
テーマを選択:
システム
言語を選択:
🇯🇵
日本語
メニュー
計算機
合成
学ぶ
用語集
練習
テーマ
テーマを選択:
システム
言語
言語を選択:
🇯🇵
日本語
←
演習に戻る
0:00
難易度:
中級
カテゴリ:
論理等価性
タイプ:
選択問題
以下の2つの式は論理的に等価でしょうか?
式 1:
!(A & B)
式 2:
!A | !B
はい、等価です
いいえ、等価ではありません
時々等価です
判定できません
ヒントを取得
ここからトレーニングを開始
提出
理論を学ぶ
この練習問題で扱う内容を解説しているガイドです。
ブール代数入門
→
ブール代数の数学的基礎、その法則と定理、およびデジタルシステムとコンピュータサイエンスにおける応用を発見してください。
関連する演習
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
次の式を選言標準形(DNF)に変換してください: A -> (B & C) DNFは節の選言であり、各節はリテラルの連言です。
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
次の式を連言標準形(CNF)に変換してください: A | (B & C)
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
以下の論理式を選言標準形(DNF)に変換してください: A & (B | C)
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック
以下の論理式は充足可能ですか(真にすることができますか)? (A | B) & (!A | C) & (!B | !C)…
←
前へ
次の論理式を評価しなさい: ¬P ↔ (Q → R) ただし、P = 偽、Q = 真、R = 偽 とする
難易度:
上級
カテゴリ:
命題論理
タイプ:
式評価
次へ
→
以下の式を連言標準形(CNF)に変換してください: (A -> B) & (C | D) CNFは節の連言であり、各節はリテラルの選言です。
難易度:
エキスパート
カテゴリ:
論理等価性
タイプ:
等価性チェック