作業フローを簡素化：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

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

高度な数学操作:

おすすめ:

マスターナンバー電卓InstagramユーザーID検索パーセンテージ減少電卓パーセント増加電卓サッカーxg期待ゴール電卓弧長電卓パーセント誤差電卓標準偏差電卓 - 高精度ランダムカラージェネレーター合計電卓画像分割ツールシグマ記法電卓 総和動画を結合HEX電卓円錐展開図テンプレートジェネレーターMACアドレス検索番号を並べ替える中央値電卓筆算割り算電卓フィートとインチからセンチメートルへのコンバーター英単語ランダム生成ツールエンジェルナンバー電卓ランダム超能力ジェネレーター平方完成電卓ランダム絵文字ジェネレーター不可視文字除去ツール太陽位置計算機動画を逆再生war電卓逆テキスト売上総利益率電卓ランダム誕生日ジェネレーターボウリングスコア計算機ai句読点追加手数料電卓楕円円周電卓ASCIIコード表ランダムトーナメント表作成ツール加速度電卓MP3ルーパー相対標準偏差電卓FPSコンバーターCAGR電卓対数電卓モジュロ電卓ランダム名前ジェネレータービンゴカードジェネレーター動画を回転センチメートルからフィートとインチへのコンバーター変化率電卓ボルト締付トルク計算機t検定電卓相関係数計算機関数電卓階段電卓比率電卓血糖値コンバーターランダム日付ジェネレーターYouTubeチャンネル統計私のIPアドレスは何ですかHEXコンバーター圧力電卓ビデオ速度を調整fena電卓マン・ホイットニーのU検定計算機平均寿命電卓デシベル (dB) 電卓桁数電卓小数時間から普通の時間へのコンバーター🖱️ クリックカウンター外れ値電卓クロスワードパズルメーカー土星回帰電卓指数電卓-高精度平方根電卓迷路ジェネレーターオーディオ スプリッターピタゴラスの定理電卓分数電卓XMLバリデーター上下反転テキストジェネレーターBUN対クレアチニン比電卓ホームランの打席電卓熱膨張計算機SRTからTXTへの変換ツール積分電卓斜辺電卓変動係数電卓パスワード強度テスター労働時間計算ツール正多角形電卓筆算足し算・引き算計算機log-base-2電卓バイナリ電卓行番号を追加CRC32チェックサム電卓タンジェント電卓平均電卓-高精度角度変換ツールANC電卓画像回転ツール空の行を削除するトルク電卓🔊 トーンジェネレーター周波数波長変換ツールじゃんけんジェネレーター10進数からBCDへのコンバーター中国剰余定理電卓年の日電卓 - 今日は今年の何日目分散電卓 高精度VTTからtxtへのコンバーター太陽・月・上昇星座電卓 🌞🌙✨ランダム時刻ジェネレーター動画から画像抽出ツールcsvからsrtへTikTok収益計算ツールHTMLからテキストコンバータSHA256 ハッシュジェネレーター👙 ブラサイズ電卓三角関数グラフ作成ツール二乗平均平方根電卓慣性モーメント計算機水泳ペース計算機熱伝達計算機パーセント成長率電卓文字数による改行角速度計算機パーソナリティ・ナンバー電卓学習曲線電卓自然対数電卓並列抵抗電卓割り切れるテスト電卓複数分数電卓CMYKからHEXへの変換ツールコラッツ予想電卓標準誤差電卓💧 露点電卓インタラクティブ単位円ビジュアライザーベーカーズパーセント電卓車両重量配分計算機BCDからバイナリへのコンバーター配管流量電卓IPアドレスから16進数への変換パレットジェネレーターランダムクレジットカードジェネレーターワイヤーゲージ電卓絶対値不等式ソルバーピザ生地計算機eの最初のn桁Zalgoテキストジェネレーター中間日計算機平均中央値モード電卓服のサイズ変換音節カウンターpH電卓ランダムグループジェネレーター水星逆行カレンダー点つなぎジェネレーターGIFメーカーアナグラム生成器オンライン句読点削除ツールコラージュメーカービデオをループ再生カイ二乗検定電卓ランダム算数問題ジェネレーター分圧器計算電卓沸点計算ツール逆行列電卓FacebookユーザーID検索hba1c電卓エラー関数電卓梁の電卓配当利回り電卓3d距離電卓双曲線関数電卓平均電卓部分分数分解電卓10進数から16進数へのコンバーターランダムアニマルジェネレーター円錐台電卓論理ゲートシミュレーター退職カウントダウンYouTubeショート収益化計算ツールケリー基準電卓ヴァンパイア黙示録電卓⏱️ 時間計算機水分補給計算機絶対値電卓10進数からバイナリへのコンバーターAIテキストヒューマナイザーLED抵抗器電卓グレイコード・バイナリ変換電卓ノノグラムジェネレーター (ピクロス)馬力電卓テンソル積電卓ビデオ反転ピッグラテン翻訳機ランダム整数ジェネレーター二項係数電卓動画圧縮CGPAからパーセンテージへの変換器簡単採点ツール EZ Grader子育て費用計算機赤ちゃんのミルク量計算おむつサイズ電卓赤ちゃんの名前ジェネレーター赤ちゃんの目の色予測子供のBMIパーセンタイル計算機子供の身長予測ツールhcg倍加時間計算ツール体外受精出産予定日電卓着床計算ツール中国式性別予測カレンダーISO 8601 日付フォーマッターユリウス日変換器昼寝電卓月相電卓日の出＆日の入り電卓世界時計日付ローマ数字変換電卓ソブリエティ計算機ハーフバースデー計算機記念日計算機週番号計算機チップ分配計算機メールマーケティングROI電卓リード獲得単価計算機運転資本計算機限界利益計算機FIFO / LIFO 電卓安全在庫計算機発注点計算機経済的発注量EOQ電卓減価償却計算機ハンドメイド価格電卓卸売価格計算機Shopify利益計算機Amazon FBA 電卓eBay手数料計算機Etsy手数料計算機Stripe手数料計算機PayPal手数料計算機ベッティングオッズ変換器什一献金計算機ザカート計算機英国印紙税計算機HRA非課税計算ツールグラチュイティ計算機NPS計算機EPF電卓PPF計算機RD電卓SWP電卓グロスアップ計算機ローン比較電卓クレジット利用率計算ツールCDラダー電卓T-Bill米国短期国債電卓I Bond 電卓529大学積立計算機HSA電卓退職金計算機昇給計算機請求書作成ツール出張日当計算機走行距離手当計算機家賃値上げ計算機日割り家賃計算家賃適正額計算機乗り出し価格計算ツール車購入可能額計算機バイクローン計算機キャンピングカーローン計算ボートローン電卓土地ローン計算機建設ローン計算機金利のみ住宅ローン計算機バルーンローン計算機住宅ローンポイント計算機PMI電卓隔週住宅ローン返済額計算機ARM住宅ローン電卓VAローン計算機給与手取り計算機AI SQLクエリジェネレーターAI正規表現ジェネレーターAIデータ可視化ツールCSV貼り付けAIテキストトーン分析ツールAI履歴書アナライザーAI単位変換ツール自然言語AI謝罪文ジェネレーターAI 丁寧なお断り文ジェネレーターAI旅行日程ジェネレーターAI読書リストジェネレーターAIワークアウトプランジェネレーターAI献立ジェネレーターAIギフトアイデアジェネレーターAIレシピジェネレーター食材から奨学金ROI電卓大学費用計算機言語学習 流暢になるまでの学習時間電卓単語クイズ作成ツールコーネルノート作成ツールフラッシュカード間隔反復スケジューラーペイント色混合計算機タイル目地計算機食洗機の積み込み最適化ツール洗剤の使用量計算ヘアカラー混合計算機印刷コスト計算機ガス vs 電気 コスト比較電卓ギフトカードチップ電卓引っ越し用ダンボール数計算機ストレージユニットサイズ計算機カプセルワードローブ計算機ベルト長さ計算機油圧シリンダー推力計算機滑車システム計算機ギア比計算機機械比熱計算機ベルヌーイの式計算機レイノルズ数計算機潮汐時刻計算機星空観測条件計算機結び方リファレンスツール寝袋温度評価ガイドテントフットプリントサイズ電卓バックパッキング食料重量電卓ネイスミス式ハイキングペース電卓刺繍糸長さ電卓レジンキャスト量計算電卓ビーズパターン電卓陶芸粘土収縮率電卓折り紙用紙サイズ電卓キルトバインディング電卓クロスステッチ刺繍糸計算編み物パターン計算機編み針サイズ変換器かぎ針サイズ変換器馬の干し草計算ツールペット航空輸送クレートサイズ検索爬虫類飼育UVBライト距離計算機鳥かごサイズ計算機水槽ヒーターワット数電卓猫のトイレ数計算機ヘッドライト照射距離電卓エンジン圧縮比計算機タイヤ溝摩耗計算機トレーラー牽引荷重計算機旅行費用割り勘計算停止距離計算機労災補償計算機遺産配分電卓商標区分検索ツール特許出願料電卓売上税ネクサスチェッカー刑期短縮計算機時効計算機Airbnb料金最適化ツールルームメイト家賃分割計算機セクション8 家賃電卓BRRRR法計算機キャッシュオンキャッシュリターン計算機賃貸利回り計算機1031エクスチェンジ計算機資産成長ビジュアライザーランチ代計算機ジム vs 自宅トレーニング費用電卓コーヒー代計算機リモートワーク節約計算機副業ROI電卓サブスクリプション費用トラッカーSaaS料金計算ツールフリーランスプロジェクト料金計算機スモークウッド・ペアリングガイド発酵時間計算機マリネ時間計算機食事制限レシピフィルタースパイス代用品ファインダーカフェイン半減期トラッカー標準ドリンク計算ツールワインペアリング提案ツールクライミンググレード変換器自転車ギア比計算機釣り結び強度計算機ヨガポーズホールドタイマー水泳SWOLF電卓レースタイム予測計算機ボクシングパンチ力計算機ラグビー得点電卓クリケット・ランレート電卓テニススコアトラッカーWellsスコア電卓 (DVT/PE)グラスゴー・コーマ・スケール計算機アプガースコア計算機FFMI 電卓クーパー12分間走計算ツール1マイルウォークテストロックポート電卓除脂肪体重から筋力計算炭水化物インスリン比計算機インスリン感受性係数計算機ヘブライ暦変換器ヒジュラ暦変換器旧暦変換ツール文化別年齢電卓どれくらい前計算機あと何日カウントダウン電卓日付パターンジェネレーター日付に営業日を追加営業日計算機単語頻度アナライザー文の長さばらつき分析ツールヘミングウェイ風リーダビリティエディタ発音IPA変換ツールヴィジュネル暗号ツールアトバッシュ暗号ツールROT13エンコーダー・デコーダーEXIFデータビューア・削除ツールバックロニム ジェネレーター頭字語ジェネレーターパングラムチェッカーリポグラム チェッカー画像からSVGトレーサー画像からASCIIアートへの変換器JSONスキーマジェネレーターTypeScriptプレイグラウンドLessからCSSへのコンパイラーSCSSからCSSへのコンパイラーSVGからReact/JSXへの変換器クエリ文字列ビルダーURLパーサーUUID検証・デコーダーHTTPステータスコードリファレンスcURLコマンドビルダーシェルピンスキーの三角形ジェネレーター3D曲面プロッター極方程式プロッタージュリア集合生成器マンデルブロ集合エクスプローラーL-Systemフラクタルジェネレータードロネー三角形分割ジェネレーターボロノイ図ジェネレータースピログラフジェネレーターテッセレーションジェネレーターシックスシグマ工程能力計算機youtubeサムネイルダウンローダーyoutube収益見積もりツールランダムRPGキャラクタージェネレーター