コンテンツにスキップ
論理計算機
計算機
合成
学ぶ
用語集
練習
テーマを選択:
システム
言語を選択:
🇯🇵
日本語
メニュー
計算機
合成
学ぶ
用語集
練習
テーマ
テーマを選択:
システム
言語
言語を選択:
🇯🇵
日本語
←
演習に戻る
0:00
難易度:
上級
カテゴリ:
ブール代数
タイプ:
等価性チェック
次の含意を否定と選言だけを使って書き換えてください：
A → B
論理式
挿入:
∧ かつ
∨ または
¬ 否定
→ ならば
↔ 同値
⊤ 真
⊥ 偽
(
)
ヘルプを表示
クリア
ヒントを取得
ここからトレーニングを開始
提出
理論を学ぶ
この練習問題で扱う内容を解説しているガイドです。
ブール代数入門
→
ブール代数の数学的基礎、その法則と定理、およびデジタルシステムとコンピュータサイエンスにおける応用を発見してください。
関連する演習
難易度:
上級
カテゴリ:
ブール代数
タイプ:
簡略化
次の式を簡単化してください: (A & B) | (A & !B)
難易度:
上級
カテゴリ:
ブール代数
タイプ:
簡略化
以下の式を簡略化しなさい: !(A & !B) & !(!A | B)
難易度:
上級
カテゴリ:
ブール代数
タイプ:
等価性チェック
双条件文 A <-> B をかつ、または、否定の演算子のみを使って表現してください。
難易度:
上級
カテゴリ:
ブール代数
タイプ:
等価性チェック
かつ、または、否定の演算子のみを使用して、AとBの排他的論理和を表現してください。 XORは、入力の1つだけが真のとき（両方ではない）に真になります。
←
前へ
次の式を簡略化しなさい: !!(A & B)
難易度:
上級
カテゴリ:
ブール代数
タイプ:
簡略化
次へ
→
コンセンサス定理を用いて次の論理式を簡略化してください: (A & B) | (!A & C) | (B & C)
難易度:
上級
カテゴリ:
ブール代数
タイプ:
簡略化
