カルノー図（K-Map）ソルバー — 視覚的なブール最小化
このカルノー図（K-Map）ソルバーは、2、3、または4個のブール変数のミンタームのリストを受け取り、適切なグレイコードのK-mapグリッドに配置し、内部でQuine-McCluskey最小化を適用して隣接する1をできるだけ少ない実装項にグループ化します — デジタル論理コースで教えられている視覚的な方法そのものを、自動化してエラーなしに実行します。
クイック回答
2〜4変数について出力が1になるミンタームを入力すると、このツールはグレイコードのK-mapグリッドを描き、グループ化を強調表示し、最小の積和式を報告します。
出力が1になる10進数のミンターム番号を入力してください（例：0,2,5,6,7,8,10,13,14,15）。
カルノー図（K-Map）ソルバー — 2〜4変数をオンラインでの使い方
- 1
変数の数（2、3、または4）を選択します。
- 2
出力が1になる10進数のミンターム番号をカンマ区切りのリストとして入力します。
- 3
「解く」をクリックして、グループ化が強調表示されたK-mapグリッドと最小化された式を確認します。
なぜカルノー図（K-Map）ソルバー — 2〜4変数をオンラインでを使うのか？
カルノー図は、隣接するセルが1つの変数だけ異なるグリッドに真理値表の出力を配置するため、1のグループを視覚的に発見して最小の積和式を読み取ることができます — これは1953年にMaurice Karnaughによって導入された、少数の変数に対する純粋に代数的な簡略化よりも高速な代替手法です。このソルバーは、適切なグレイコードの行と列の順序を使用して同じグリッドを構築し、サイトのブール代数簡略化ツールで内部的に使用されているのと同じQuine-McCluskey最小化と組み合わせるため、表示されるグループ化は、手作業による推測ではなく、常に証明可能な最小または準最小の式に対応します。
よくある質問
関連ツール
ブール代数簡略化ツール — Quine-McCluskey最小化をオンラインで
Quine-McCluskeyアルゴリズムを使用して、任意のブール式を最小の積和形式に簡略化します。実装項を表示し、最大6変数に対応する無料計算機。
真理値表ジェネレーター — オンラインでブール論理式を
AND、OR、NOT、XOR、NAND、NOR、条件演算子を含むあらゆるブール論理式の真理値表を生成します。トートロジーと矛盾の自動検出を備えた無料計算機。
ビット演算計算機 — AND、OR、XOR、NOT、シフトをオンラインで
整数に対してビット演算（AND、OR、XOR、NOT、左シフト、右シフト）を即座に実行します。各演算の視覚的なインタラクティブビット図を備えた無料計算機。