作業フローを簡素化：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検索パーセンテージ減少電卓パーセント増加電卓弧長電卓ランダムカラージェネレーターwar電卓動画を結合MACアドレス検索画像分割ツールフィートとインチからセンチメートルへのコンバーター標準偏差電卓 - 高精度円錐展開図テンプレートジェネレーターエンジェルナンバー電卓ランダム誕生日ジェネレーター番号を並べ替える引用検索 (英語)動画を逆再生ランダム日付ジェネレーターランダムポーカーハンドジェネレーター合計電卓シグマ記法電卓 総和FPSコンバーターランダム超能力ジェネレーターパーセント誤差電卓平方完成電卓売上総利益率電卓相対標準偏差電卓YouTubeチャンネル統計モジュロ電卓英単語ランダム生成ツールランダムトーナメント表作成ツール外れ値電卓熱膨張計算機HEX電卓ASCIIコード表血糖値コンバーター動画を回転オンライン句読点削除ツールMP3ルーパーデシベル (dB) 電卓逆テキスト中央値電卓マスターナンバー電卓ai句読点追加kva計算機楕円円周電卓手数料電卓センチメートルからフィートとインチへのコンバーターボウリングスコア計算機表面積電卓CAGR電卓太陽位置計算機空の行を削除する労働時間計算ツール圧力電卓🖱️ クリックカウンターマン・ホイットニーのU検定計算機ビデオ速度を調整小数時間から普通の時間へのコンバーター筆算足し算・引き算計算機ボルト締付トルク計算機ビンゴカードジェネレーターt検定電卓比率電卓コラージュメーカー桁数電卓筆算割り算電卓四分位範囲電卓私のIPアドレスは何ですかHEXコンバーター中間日計算機加速度電卓土星回帰電卓ポアソン分布電卓配管流量電卓パーセント成長率電卓変化率電卓求人検索ランダムクレジットカードジェネレーター不可視文字除去ツール熱伝達計算機パレットジェネレーターランダム絵文字ジェネレーターオーディオ スプリッター画像回転ツール関数電卓TikTok収益計算ツール愛の相性電卓SRT 時間シフト 電卓指数電卓（高精度）斜面計算機身長パーセンタイル電卓動画から画像抽出ツール配当利回り電卓散布図作成ツールSHA256 ハッシュジェネレーター年の日電卓 - 今日は今年の何日目Twitch収益計算ツール正多角形電卓車両重量配分計算機週番号計算機底2の対数電卓パーセントからppmへのコンバーター分数電卓アンテナ長計算機階段電卓XMLバリデーター世界時計atan2電卓相関係数計算機ANC電卓CRC32チェックサム電卓fena電卓BUN対クレアチニン比電卓GIFメーカーヒストグラムメーカーサイコロローラータンジェント電卓飛行距離電卓ランダムトランプカードジェネレーター角度変換ツールジニ係数電卓平方根電卓CMYKからHEXへの変換ツール動画分割ツール小文字生成器 ⁽ᶜᵒᵖʸ ⁿ ᵖᵃˢᵗᵉ⁾沸点計算ツールAIテキストヒューマナイザーアナグラム生成器ランダム名前ジェネレーターFacebookユーザーID検索カラースキームジェネレータークロスワードパズルメーカーワイヤーゲージ電卓対数電卓💧 露点電卓PSIからbarへの変換器クーパー12分間走計算ツールサッカーxg期待ゴール電卓バーコードジェネレーターローマ数字のコンバーター三相電力計算機取り消し線テキスト生成ツールトルク電卓ランニングペース電卓三角関数グラフ作成ツール割り切れるテスト電卓周波数波長変換ツール直線の方程式電卓角速度計算機じゃんけんジェネレータービデオをループ再生ランダム時刻ジェネレーター服のサイズ変換猫カロリー電卓ベーカーズパーセント電卓SRTからTXTへの変換ツール動画圧縮積分電卓迷路ジェネレーターBCD?????psiからkPaへのコンバーターそろばんシミュレーター文字数による改行日割り家賃計算魔方陣ジェネレーター🔊 トーンジェネレーター点つなぎジェネレーターhba1c電卓タイル目地計算機バイナリ電卓平均寿命電卓ポンドからキログラム変換分圧器計算電卓素数ですかカレンダー電卓hcg倍加時間計算ツール変動係数電卓水星逆行カレンダー自転車サイズ電卓IPアドレスから16進数への変換慣性モーメント計算機斜辺電卓AIお礼状ジェネレーターダイスロール確率電卓ペース カロリー電卓分散電卓 高精度直角三角形電卓10進数から16進数へのコンバーターHTMLからテキストコンバータmcgからmgへの変換ツールVTTからtxtへのコンバーターボロノイ図ジェネレーターヴィジュネル暗号ツール外接円電卓平方数リスト直列抵抗計算機グロスアップ計算機ジェスチャーゲームジェネレーターレシピ栄養計算ツールTwitter (X)用動画変換ゲーマータグジェネレーターチーム名ジェネレーターニックネームジェネレーターラップネームジェネレーターバンド名ジェネレーターファンタジー名前ジェネレーターフォーチュンクッキージェネレーターお絵描きアイデアジェネレータージャーナルプロンプトジェネレーターデイリーアファメーションジェネレーター褒め言葉ジェネレーター口説き文句ジェネレーター親父ギャグジェネレーターランダムジョークジェネレーターランダム雑学ジェネレータートリビアクイズジェネレーターハングマン単語ジェネレーターピクショナリー単語ジェネレーターアイスブレイク質問ジェネレーターNever Have I Ever ジェネレーターどっちを選ぶジェネレーターランダム質問ジェネレーターAI夢占いAI結婚式スピーチジェネレーターAIプレスリリースジェネレーターAI商品説明ジェネレーターAI動画スクリプトジェネレーターAI YouTubeタイトル・概要欄ジェネレーターInstagramキャプションジェネレーターAI LinkedInヘッドライン・自己紹介ジェネレーターAI職務経歴書ブレットジェネレーターAIカバーレター作成ツールAIラップ歌詞ジェネレーターPDFフラット化ツールPDFロック解除（オーナーパスワード削除）PDFテキスト抽出PDFページ抽出PDF単語カウンターPDFにパスワードを設定PDFにページ番号を追加PDFページ並べ替えPDFページ削除PDF回転JPGをPDFに変換PDFをJPGに変換PDF圧縮PDF分割PDF結合PTからPXへの変換器PXからREMへの変換器トラからグラムへの変換器インドの土地単位変換器AI歌詞ジェネレーターAI詩ジェネレーターAIストーリージェネレーターAI翻訳AIテキスト要約ツールmgからmlへの変換器MPHからKMHへの変換器ノットからマイル毎時変換器立方メートルから立方フィート立方フィートから立方ヤード変換器平方フィートから平方メートル換算平方メートルから平方フィート変換器オンスからmlへの変換器mlからオンスへの変換器ガロンからリットル変換器リットルからガロン変換器キログラムからストーンへの変換器ストーンからキログラム変換器インチからミリメートルへの変換器ミリメートルからインチへの変換器マイルからキロメートル変換器キロメートルからマイル変換器華氏から摂氏への変換器摂氏から華氏への変換器バックパックサイズ電卓サーフボード容量電卓テニスグリップサイズ電卓ヘルメットサイズ電卓手袋サイズ電卓帽子サイズ変換スノーボードサイズ電卓スキーサイズ電卓スピードランスプリットタイマーステーブルフォード計算機ダーツチェックアウト電卓ボウリング・エコノミーレート電卓打撃ストライクレート電卓ネットランレート計算機KDレシオ計算機Eloレーティング計算機心拍数回復電卓ハイキング時間計算機ローイングペース計算機ランニング年齢グレード計算機FTP・パワーゾーン計算機Beepテスト電卓ACFTスコア電卓Wilks & DOTS 電卓ホイールオフセット電卓タイヤ負荷指数・速度レーティング検索マイルあたりコスト電卓リース買取電卓オクタン価ブレンド電卓2ストロークオイル混合電卓エンジン排気量計算ソファ搬入電卓薪コード計算機空気清浄機CADR電卓除湿機サイズ計算シーリングファンサイズ電卓カーテンサイズ計算機ラグサイズ電卓額縁の掛け高さ計算機テレビ取り付け高さ計算機テレビサイズ電卓池の容量・ライナー電卓プール塩量計算機プール容量計算給湯器サイズ電卓エポキシ樹脂計算機手すり子間隔電卓巾木とトリムの電卓サイディング計算機デッキ用ステインの計算芝生の種計算機芝生電卓アスファルト電卓立方ヤード電卓電線管充填率電卓直列並列コンデンサ電卓誘導リアクタンス計算機部屋の照明計算機ルクスからルーメン電卓ルーメンからワット変換器発電機サイズ計算機mAh Wh 変換器 電卓アンペアからワット電卓ワットからアンペア電卓摩擦計算機機械的倍率計算機音速計算機波の速度計算機浮力電卓終端速度計算機ド・ブロイ波長計算機光子エネルギー計算機emc2電卓時間の遅れ計算機ケプラーの第三法則計算機脱出速度計算機万有引力計算機ベール・ランベルトの法則電卓ネルンストの式計算機浸透圧計算機沸点上昇電卓凝固点降下計算パーセント組成計算機規定度計算機質量モル濃度計算機pKa→Ka変換器ヘンダーソン・ハッセルバルヒ電卓理論収量計算機制限反応物計算機電子配置計算機インタラクティブ周期表AI授業計画ジェネレーターAIクイズ作成ツール引用ジェネレーター (APA/MLA/Chicago)出席率計算APスコア計算機ACTスコア計算機SATスコア電卓youtube収益見積もりツールランダムRPGキャラクタージェネレーター