ブール代数簡略化ツールとは何ですか？

ブール代数簡略化ツールは、複雑な論理式を入力すると、クワイン・マクラスキー法やカルノー図を用いて、最小限の論理ゲートで構成される同等の式を自動的に算出するオンラインの電卓です。

論理式の計算方法は？

この電卓を使えば、任意の論理式を入力して「簡略化」ボタンを押すだけで、真理値表の作成から最小化プロセスまで、ステップバイステップで計算結果を表示できます。

ブール代数簡略化ツール

代数法則、クワイン・マクラスキー法、およびカルノー図を用いた最小化により、ブール式を簡略化します。任意の論理式（AND, OR, NOT, XOR, NAND, NOR）を入力すると、即座に最小のSOP/POS形式、完全な真理値表、カルノー図の視覚化、ゲート回路図、ステップごとの法則適用、およびNAND/NORのみの等価式を取得できます。

ブール代数簡略化ツール

Embed ブール代数簡略化ツール Widget

ブール代数簡略化ツール

ブール代数簡略化ツールは、クワイン・マクラスキー法とカルノー図分析を使用して、あらゆる論理式を最小形式に簡略化します。AND、OR、NOT、XOR、NAND、NOR（または &、|、~、^、後置の A' などの記号）を含む式を入力すると、即座に完全な真理値表、主項のループが表示された色付きのカルノー図、必須主項を示す主項チャート、ステップバイステップの導出プロセス、および同等のNANDのみ・NORのみの実装が表示されます。

このツールで生成される内容

📊

真理値表

式の出力を含むすべての \(2^n\) 個の入力組み合わせ。

🗺️

カルノー図

各主項がアウトラインで示されたグレイコード・グリッド。

🎯

最小 SOP / POS

最小リテラル、最小項数による最適な形式。

🧩

主項

必須主項のマーカー付き — どの項が必要かを確認。

↑↓

NAND/NOR 形式

回路合成に役立つ万能ゲートでの同等表現。

↘

ステップ解説

クワイン・マクラスキー法による導出を解説。

ブール代数の法則 — リファレンス

法則	OR 形式	AND 形式
同一律	\( A + 0 = A \)	\( A \cdot 1 = A \)
有界律	\( A + 1 = 1 \)	\( A \cdot 0 = 0 \)
べき等律	\( A + A = A \)	\( A \cdot A = A \)
補元律	\( A + \overline{A} = 1 \)	\( A \cdot \overline{A} = 0 \)
二重否定	\( \overline{\overline{A}} = A \)
交換法則	\( A + B = B + A \)	\( A \cdot B = B \cdot A \)
結合法則	\( (A + B) + C = A + (B + C) \)	\( (A \cdot B) \cdot C = A \cdot (B \cdot C) \)
分配法則	\( A \cdot (B + C) = AB + AC \)	\( A + BC = (A+B)(A+C) \)
吸収律	\( A + AB = A \)	\( A(A + B) = A \)
ド・モルガンの法則	\( \overline{A + B} = \overline{A} \cdot \overline{B} \)	\( \overline{A \cdot B} = \overline{A} + \overline{B} \)
合意律 (Consensus)	\( AB + \overline{A}C + BC = AB + \overline{A}C \)

入力構文チートシート

演算子	対応形式	例
AND	`&`, `*`, `·`, `.`, 連結 `AB`, 単語 `AND`, `∧`	`A&B`, `AB`, `A AND B`
OR	`+`, `\|`, 単語 `OR`, `∨`	`A+B`, `A \| B`, `A OR B`
NOT	`~`, `!`, `¬`, 単語 `NOT`, 後置 `'`	`~A`, `!A`, `A'`, `(AB)'`
XOR	`^`, `⊕`, 単語 `XOR`	`A XOR B`, `A^B`
NAND	`⊼`, 単語 `NAND`	`A NAND B`
NOR	`⊽`, 単語 `NOR`	`A NOR B`
含意 (Implies)	`->`, `=>`, 単語 `IMPLIES`, `→`	`A -> B`
等価 (Equivalence)	`<->`, `<=>`, 単語 `IFF`, `↔`	`A <-> B`
定数	`0` `1` `TRUE` `FALSE`	`A + 0`, `A * 1`

クワイン・マクラスキー法について

クワイン・マクラスキー法は、最小の主加法標準形を求めるための体系的な表形式のアプローチです。カルノー図（視覚的で約6変数までが限界）とは異なり、クワイン・マクラスキー法はスケーラブルであり、常に最小の被覆を保証します。

すべての最小項をリストアップする — 真理値表で結果が1になるすべての行。
1の数でグループ化する — 最小項をバイナリ表現に含まれる1の数でソートします。
隣接グループを組み合わせる — 1ビットだけ異なるペアをマージし、そのビットをダッシュ（-）に置き換えます。これ以上組み合わせられなくなるまで繰り返します。
主項を収集する — それ以上組み合わせられなかったすべての項が主項となります。
主項チャートを作成する — 行に主項、列に最小項を配置したグリッドを作成し、どの主項がどの最小項をカバーしているかマークします。
必須主項を選択する — ある最小項をカバーしている主項が1つしかない場合、その主項は「必須」です。
残りの最小項をカバーする — 必須主項でカバーされていない最小項を、リテラル数が最小になるように追加の主項でカバーします。

ブール代数簡略化ツールの使い方

式を入力する: お好みの表記法でブール代数式を入力します。A.B + A'C や A AND B OR NOT A AND C のようにスタイルを混ぜても正しく解析されます。
「簡略化」をクリック: ツールが解析を行い、真理値表を作成し、クワイン・マクラスキー法を実行して式を最小化します。
カルノー図を確認: 色分けされた各ループが主項です。必須主項は実線で、任意主項は点線で描画されます。
手順を確認: ステップバイステップ・パネルで、標準SOPから主項の発見、そして最小形式への流れを確認できます。
同等の形式を調べる: ターゲットとする技術がOR-of-ANDなら最小POSを、NANDベースのシリコンならNANDのみの形式を使用してください。

応用分野

分野	ユースケース
デジタル回路設計	組合せ論理のゲート数を最小化します。ゲートが少なければ、低消費電力、ダイサイズの縮小、伝搬遅延の短縮につながります。
コンパイラ最適化	if文やループの条件式を簡略化し、分岐評価のコストを削減します。
プログラマブルロジック (FPGA)	最小リテラル形式を生成することで、利用可能なルックアップテーブルにより多くのロジックを収容します。
データベースクエリ最適化	WHERE句の述語を、同等でより評価コストの低い形式に書き換えます。
形式検証	標準形式（SOP/POS）を用いることで、2つの仕様が等価であるかどうかをチェックできます。
教育・学習	宿題の確認、主項選択の学習、カルノー図のグループ化戦略の探求に役立ちます。

よくある質問

ブール代数の簡略化とは何ですか？

ブール代数の簡略化とは、論理式を、より少ない演算とリテラルで構成される同等の式に変換することです。式が単純になれば、ハードウェアでは論理ゲートの削減、ソフトウェアでは評価の高速化、人間にとっては検証の容易化につながります。手法には、代数法則の適用、カルノー図、クワイン・マクラスキー法などがあり、このツールはこれら3つすべてを組み合わせています。

最小の主加法標準形（SOP）とは何ですか？

最小の主加法標準形は、ブール関数を、リテラル数が最小の積項を、最小の数だけORでつないだ形式で記述したものです。関数を標準SOP（真の行ごとの最小項）に展開し、規則 \( XY + \overline{X}Y = Y \) を用いて隣接する最小項を結合することで求められます。結果として、最小の2段AND-OR回路が得られます。

カルノー図はどのように機能しますか？

カルノー図は、行と列がグレイコードのビットパターンでラベル付けされたグリッドで、物理的に隣接するセルが正確に1つの変数だけ異なるように配置されています。サイズ1、2、4、8の隣接する「1」のセルのグループは、それぞれ0、1、2、3個の変数を排除した積項に対応します。戦略は「すべての1を、可能な限り大きな長方形でカバーする」ことで、これにより各項のリテラル数を最小限に抑えられます。

主項（プライム・インプリカント）とは何ですか？

主項とは、最小項のグループをカバーし、他の隣接するグループと組み合わせてより大きなグループを作ることができない積項のことです。必須主項とは、特定の最小項をカバーする唯一の主項であり、すべての最小被覆に含まれる必要があります。非必須主項は選択可能であり、残りの最小項をカバーするために必要な場合にのみ含まれます。

どのような入力構文が使えますか？

ANDは &, *, ·, .、または単純な連結（AB は A AND B）で記述できます。ORは + または | です。NOTは ~, !, ¬、または後置アポストロフィ（A', (A+B)'）が使えます。AND OR NOT XOR NAND NOR IMPLIES IFFといった単語形式の演算子や、矢印形式の -> および <-> も機能します。括弧でグループ化でき、定数 0 と 1（または TRUE/FALSE）も使用可能です。

なぜNANDのみ、またはNORのみの形式が便利なのですか？

NANDとNORは万能ゲートと呼ばれ、あらゆる論理関数をそれら1種類だけで構築できるためです。実際のシリコンチップでは、NANDゲートが最も高速かつ安価に製造できることが多いため、コンパイラはNANDのみのネットリストをターゲットにすることがよくあります。このツールは同等のNANDのみおよびNORのみの式を表示します。これらは構造的にAND-OR回路と同一視できる、2段NAND-NAND回路として読み取ることができます。

いくつの変数までサポートしていますか？

最大8変数までサポートしています。カルノー図は2、3、4変数（グリッドサイズ 2×2, 2×4, 4×4）の場合に描画されます。5変数以上の場合、真理値表は32行以上に増えますが、クワイン・マクラスキー法によって正確な最小形式が算出されます。なお、3Dや分割されたカルノー図は読みにくいため、5変数以上ではカルノー図は省略されます。

2つの論理式が同等かどうかを確認できますか？

はい、それぞれの式を独立して簡略化してください。それらの最小SOP形式が同一であれば、同じ関数を計算していることになります。また、真理値表を1行ずつ比較することでも確認できます。ツールは最小項セットと標準SOPの両方を出力し、これらは関数のユニークな指紋（フィンガープリント）として機能します。

このコンテンツ、ページ、またはツールを引用する場合は、次のようにしてください：

"ブール代数簡略化ツール"（https://MiniWebtool.com/ja/ブール代数簡略化ツール/） MiniWebtool からの引用、https://MiniWebtool.com/

MiniWebtool チーム作成。更新日: 2026-04-19

また、AI 数学ソルバー GPT を使って、自然言語による質問と回答で数学の問題を解決することもできます。