ブール代数計算機

著者: Henrick Yau
- 2026年8月5日
| |

計算機

ブール式を評価し、真理値表を作成し、論理文を簡略化します。変数A-Zと定数0/1を使用して、AND（&）、OR（|）、NOT（！）、XOR（⊕）、NAND、NOR演算をサポートします。

式の入力

変数にはA-Zを使用し、&(AND)、|(OR)、!(NOT)、⊕(XOR)、グループ化には括弧を使用します
式ビルダー

変数の値

分析オプション

真理値表の変数を指定します（空の場合は自動検出）

ブール代数の基本

ブール代数は論理値の演算を扱う数学の一分野です。デジタル論理設計やコンピュータサイエンスの基礎を形成し、真（1）または偽（0）の値のみを取る変数を使用します。

基本演算
  • AND（&, ∧）： 両方の入力が1のときのみ1を返します
  • OR（|, ∨）： 少なくとも1つの入力が1のときに1を返します
  • NOT（!, ¬）： 入力の反対の値を返します
  • XOR（⊕）： 入力が異なるときに1を返します
  • NAND（↑）： NOT AND - AND演算の反対
  • NOR（↓）： NOT OR - OR演算の反対
ブール法則
  • 恒等法則： A + 0 = A, A · 1 = A
  • 零法則： A + 1 = 1, A · 0 = 0
  • 冪等法則： A + A = A, A · A = A
  • 補完法則： A + A' = 1, A · A' = 0
  • 可換法則： A + B = B + A, A · B = B · A
  • 結合法則： (A + B) + C = A + (B + C)
  • 分配法則： A · (B + C) = A · B + A · C
  • ド・モルガンの法則： (A + B)' = A' · B', (A · B)' = A' + B'
標準形
  • DNF（論理和標準形）： 積の和 - AND項のOR
  • CNF（論理積標準形）： 和の積 - OR項のAND
  • 標準形： 各項にすべての変数を含める
  • 最小形： 最も少ない項で簡略化された式
応用
  • デジタル論理設計： 論理ゲートと回路設計
  • コンピュータプログラミング： 条件文と論理
  • データベースクエリ： SQLのWHERE句とフィルタリング
  • 集合論： 集合と関係の演算
  • 人工知能： 論理プログラミングと推論

演算子リファレンス

演算 記号 説明 例
AND &, ∧, AND, && 論理積 A & B
OR |, ∨, OR, || 論理和 A | B
NOT !, ¬, NOT, ~ 論理否定 !A
XOR ⊕, XOR, ^ 排他的OR A ⊕ B
NAND ↑, NAND NOT AND A ↑ B
NOR ↓, NOR NOT OR A ↓ B

免責事項：この計算機は標準的な論理演算に基づいてブール代数の評価と簡略化を提供します。結果は確立されたブール代数のルールを使用して計算され、唯一の可能な簡略化形を表すものではない場合があります。重要な論理設計は適切なツールとテストで常に確認してください。

一般的なブール論理式:

  • AND: \( A \land B = A \cdot B \)
  • OR: \( A \lor B = A + B \)
  • NOT: \( \lnot A \)
  • XOR: \( A \oplus B \)
  • NAND: \( \lnot (A \cdot B) \)
  • NOR: \( \lnot (A + B) \)

ブール代数計算機とは何ですか？

ブール代数計算機は、論理式を扱うためのシンプルでありながら強力なツールです。デジタル回路を学ぶ学生であれ、論理ゲートを扱う専門家であれ、この計算機を使えば、ブール式を評価し、真理値表を生成し、論理式を数秒で簡略化できます。

このツールでできること

この計算機が実現することは次のとおりです：

  • AND、OR、NOT、XOR、NAND、NOR演算をサポートした論理式を瞬時に評価
  • 最大4変数の真理値表を自動生成
  • 論理文を論理和標準形 (DNF)および論理積標準形 (CNF)に変換
  • 一般的なブール法則を使用して式を簡略化
  • 最小化のためのカルノー図を視覚化

計算機の使い方

ブール代数計算機を効果的に使用するための手順は次のとおりです：

  1. 入力フィールドに論理式を入力します（例：(A & B) | !C）
  2. 慣れている形式を選択します：記号形式（&, |, !）、テキスト形式（AND, OR, NOT）、プログラミングスタイル（&&, ||, !）、または数学記号（∧, ∨, ¬）
  3. 画面上のボタンを使用して、迅速に式を構築
  4. 特定の入力に対して式を評価したい場合は、変数に値（0または1）を割り当てます
  5. 式を評価をクリックして結果、簡略化のステップ、真理値表を表示
  6. 必要に応じてDNF、CNF、またはカルノー図を表示するための追加オプションを有効にします

なぜこの計算機を使用するのですか？

このツールは、ブール論理を分析する際に時間を節約し、エラーを減らします。宿題をチェックする場合でも論理ゲートを設計する場合でも、このツールは次のことを保証します：

  • 論理条件の正確な評価
  • 真理値表とカルノー図による明確な視覚化
  • 標準法則を使用したステップバイステップの簡略化
  • 論理設計やプログラミングに役立つDNFおよびCNF形式の迅速な生成

関連する概念とツール

論理や数学の計算機に興味がある場合、次のものも役立つかもしれません：

よくある質問

どのような式を入力できますか？

変数A-Zと論理演算子AND（&）、OR（|）、NOT（!）、XOR（⊕）、NAND（↑）、NOR（↓）を使用できます。また、式の部分をグループ化するために括弧を使用することもできます。

いくつの変数を使用できますか？

計算機は真理値表とカルノー図のために最大4変数をサポートしていますが、より多くの変数を持つ式も評価できます。

任意の論理式を簡略化できますか？

はい。このツールは、デ・モルガンの法則、恒等法則、零法則、冪等法則などの標準的なブール代数の法則を適用して、式を簡略化します。

プログラミングや回路設計に役立ちますか？

もちろんです。この計算機は、プログラミング条件、論理ゲート設計、デジタルエレクトロニクスやコンピュータサイエンスの原則を学ぶために貴重です。

結論

ブール代数計算機は、論理文を評価し、ブール式を簡略化するための迅速かつ信頼性の高いソリューションです。真理値表、カルノー図、ステップバイステップの簡略化などの機能を備えたこのツールは、学習者と専門家の両方に適した実用的な論理分析ツールです。パーセント誤差計算機や科学計算機などのツールと組み合わせて、数学や論理のトピックに対する理解を深めてください。