Karnaugh Map Solver

KMap ソルバーとしても知られるカルノー マップ ソルバー アプリは、最大 5 つの変数を使用してカルノー マップを簡素化し、ブール関数を合理化し、さまざまな表現での動作を分析するように設計された包括的なツールです。ユーザーフレンドリーなインターフェイスを備えたこのアプリは、プロセス全体を段階的にガイドします。
カルノー図ソルバーの使用方法:

正規形式を選択します: ブール関数を表現する方法を選択します:
積の合計 (minterms): 出力が 1 である組み合わせを強調表示します。
和の積 (maxterms): 出力が 0 になる組み合わせに焦点を当てます。

変数の数を指定する: ブール関数内の変数の数を定義します。このアプリは、2 ～ 5 変数のカルノー マップをサポートしています。

変数名のカスタマイズ: 変数にカスタム名を割り当てます。デフォルトでは、変数には [A、B、C、D、E] というラベルが付いていますが、必要に応じてカスタマイズできます。

マップ内の値を構成する: 生成されたグリッドで正方形をクリックして、必要に応じて値を 0、1、X の間で切り替えます。すべての組み合わせを設定すると、簡略化されたブール関数が自動的に上部に表示されます。

真理値表にアクセスする: [真理値表] タブを使用して、考えられるすべての変数の組み合わせを表示および編集します。ここで加えた変更により、カルノー マップとブール関数が自動的に更新されます。

論理回路の生成: [回路] タブで、簡略化されたブール関数を表すデジタル回路を視覚化します。入力変数の値を調整し、出力がどのように変化するかをリアルタイムで観察します。