作業フローを簡素化：miniwebtoolを検索。
追加
関連ツール
代数式簡約化ツールカルノー図 (K-Map) ソルバー論理ゲートシミュレーターマルコフ連鎖定常分布電卓真理値表ジェネレーター
ホームページ > 数学 > 高度な数学操作 > ブール代数簡略化ツール
 

ブール代数簡略化ツール

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

ブール代数簡略化ツール
例:
挿入:
対応している構文
AND: & · AB  |  OR: + |  |  NOT: ~ ! A'  |  XOR 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^, ⊕, 単語 XORA XOR B, A^B
NAND⊼, 単語 NANDA NAND B
NOR⊽, 単語 NORA NOR B
含意 (Implies)->, =>, 単語 IMPLIES, →A -> B
等価 (Equivalence)<->, <=>, 単語 IFF, ↔A <-> B
定数0 1 TRUE FALSEA + 0, A * 1

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

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

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

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

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

開発者向け API が利用できます: このツールをアプリ、自動化、エージェントから 1 回の JSON HTTP リクエストで実行できます。 API ドキュメントを見る

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

高度な数学操作:

おすすめ:

InstagramユーザーID検索パーセンテージ減少電卓不可視文字除去ツール弧長電卓MACアドレス検索パーセント増加電卓ランダム誕生日ジェネレーター円錐展開図テンプレートジェネレーターランダムカラージェネレーター画像分割ツールwar電卓ランダム超能力ジェネレーター動画を結合エンジェルナンバー電卓シグマ記法電卓 総和パーセント誤差電卓合計電卓フィートとインチからセンチメートルへのコンバーター動画を逆再生英単語ランダム生成ツールYouTubeチャンネル統計標準偏差電卓 - 高精度ASCIIコード表MP3ルーパー平方完成電卓kva計算機売上総利益率電卓楕円円周電卓ai句読点追加番号を並べ替えるコラッツ予想電卓マン・ホイットニーのU検定計算機水星逆行カレンダービンゴカードジェネレーターFPSコンバーターHEX電卓ランダムトーナメント表作成ツール筆算割り算電卓相対標準偏差電卓熱膨張計算機私のIPアドレスは何ですかランダム絵文字ジェネレーターデシベル (dB) 電卓空の行を削除する手数料電卓逆テキスト血糖値コンバーター関数電卓中央値電卓対数電卓土星回帰電卓圧力電卓じゃんけんジェネレーターCAGR電卓HEXコンバーター動画を回転比率電卓水泳ペース計算機ビデオ速度を調整モジュロ電卓分数電卓ボウリングスコア計算機分散電卓 高精度t検定電卓労働時間計算ツールオンライン句読点削除ツール加速度電卓センチメートルからフィートとインチへのコンバーター正多角形電卓fena電卓ランダム名前ジェネレーター中間日計算機💧 露点電卓マスターナンバー電卓年の日電卓 - 今日は今年の何日目オーディオ スプリッター10進数からBCDへのコンバーターランダム時刻ジェネレーター画像回転ツール角速度計算機太陽位置計算機小数時間から普通の時間へのコンバーター文字数による改行相関係数計算機コラージュメーカーFacebookユーザーID検索log-base-2電卓表面積電卓ボクシングパンチ力計算機AIテキストヒューマナイザーatan2電卓ランダム日付ジェネレーターFIP電卓SRTからTXTへの変換ツールXMLバリデーターバイナリ電卓素数ですかBUN対クレアチニン比電卓クロスワードパズルメーカー外れ値電卓指数電卓-高精度動画から画像抽出ツール求人検索1マイルウォークテストロックポート電卓GIFメーカーアナグラム生成器配当利回り電卓CPM 電卓ジョルダン標準形電卓TikTok収益計算ツールボルト締付トルク計算機四次方程式計算機階段電卓csvからsrtへ魔方陣ジェネレーター🖱️ クリックカウンター二乗平均平方根電卓平均寿命電卓沸点計算ツールSRT 時間シフト 電卓バーコードジェネレーター変動係数電卓角度変換ツールANC電卓Twitch収益計算ツールサッカーxg期待ゴール電卓割り切れるテスト電卓パレットジェネレーター筆算足し算・引き算計算機迷路ジェネレーター配管流量電卓学習曲線電卓最小公倍数電卓桁数電卓積分電卓アンテナ長計算機ニュートン法電卓ピタゴラスの定理電卓ランダム映画ピッカージニ係数電卓タンジェント電卓ビデオをループ再生ランダムアニマルジェネレーターランダムトランプカードジェネレーター三角関数グラフ作成ツール赤ちゃんのミルク量計算斜辺電卓🔊 トーンジェネレーターノノグラムジェネレーター (ピクロス)ヒジュラ暦変換器ワイヤーゲージ電卓変化率電卓平方根電卓猫カロリー電卓科学表記法電卓馬力電卓⚔️ DPS電卓熱伝達計算機車両重量配分計算機PSIからbarへの変換器ランダムクレジットカードジェネレーター円錐台電卓BCDからバイナリへのコンバーターランダム算数問題ジェネレーター平均電卓-高精度平方数リストVTTからtxtへのコンバーターガウス分布ジェネレーターパスワード強度テスターヒストグラムメーカー並列抵抗電卓太陽・月・上昇星座電卓 🌞🌙✨IPアドレスから16進数への変換トルク電卓ランダムPIN生成器中間点電卓営業利益率電卓週番号計算機CRC32チェックサム電卓発音IPA変換ツールCMYKからHEXへの変換ツールサンプルサイズ電卓上下反転テキストジェネレーター動画圧縮四分位範囲電卓日割り家賃計算長方形の電卓10進数から16進数へのコンバーター3d距離電卓YouTubeショート収益化計算ツールZalgoテキストジェネレーターエラー関数電卓🎰 ガチャ天井計算機🎮 ゲーム感度変換器世界時計周波数波長変換ツール退職カウントダウンAIトークンカウンターHTMLからテキストコンバータパーセントからppmへのコンバーター打撃ストライクレート電卓ネットランレート計算機KDレシオ計算機Eloレーティング計算機心拍数回復電卓ハイキング時間計算機ローイングペース計算機ランニング年齢グレード計算機FTP・パワーゾーン計算機Beepテスト電卓ACFTスコア電卓Wilks & DOTS 電卓ホイールオフセット電卓タイヤ負荷指数・速度レーティング検索マイルあたりコスト電卓リース買取電卓オクタン価ブレンド電卓2ストロークオイル混合電卓エンジン排気量計算ソファ搬入電卓薪コード計算機空気清浄機CADR電卓除湿機サイズ計算シーリングファンサイズ電卓カーテンサイズ計算機ラグサイズ電卓額縁の掛け高さ計算機テレビ取り付け高さ計算機テレビサイズ電卓池の容量・ライナー電卓プール塩量計算機プール容量計算給湯器サイズ電卓エポキシ樹脂計算機手すり子間隔電卓巾木とトリムの電卓サイディング計算機デッキ用ステインの計算芝生の種計算機芝生電卓アスファルト電卓立方ヤード電卓電線管充填率電卓直列並列コンデンサ電卓誘導リアクタンス計算機部屋の照明計算機ルクスからルーメン電卓ルーメンからワット変換器発電機サイズ計算機mAh Wh 変換器 電卓三相電力計算機アンペアからワット電卓ワットからアンペア電卓直列抵抗計算機摩擦計算機斜面計算機機械的倍率計算機音速計算機波の速度計算機浮力電卓終端速度計算機ド・ブロイ波長計算機光子エネルギー計算機emc2電卓時間の遅れ計算機ケプラーの第三法則計算機脱出速度計算機万有引力計算機ベール・ランベルトの法則電卓ネルンストの式計算機浸透圧計算機沸点上昇電卓凝固点降下計算パーセント組成計算機規定度計算機質量モル濃度計算機pKa→Ka変換器ヘンダーソン・ハッセルバルヒ電卓理論収量計算機制限反応物計算機電子配置計算機インタラクティブ周期表AI授業計画ジェネレーターAIクイズ作成ツール引用ジェネレーター (APA/MLA/Chicago)出席率計算APスコア計算機ACTスコア計算機SATスコア電卓パーセンテージからCGPA変換器CGPAからパーセンテージへの変換器簡単採点ツール EZ Grader子育て費用計算機おむつサイズ電卓赤ちゃんの名前ジェネレーター赤ちゃんの目の色予測子供のBMIパーセンタイル計算機子供の身長予測ツールhcg倍加時間計算ツール体外受精出産予定日電卓着床計算ツール中国式性別予測カレンダーISO 8601 日付フォーマッターユリウス日変換器昼寝電卓月相電卓日の出＆日の入り電卓日付ローマ数字変換電卓ソブリエティ計算機ハーフバースデー計算機記念日計算機チップ分配計算機メールマーケティングROI電卓リード獲得単価計算機運転資本計算機youtube収益見積もりツールランダムRPGキャラクタージェネレーター