ブール代数簡略化ツール — 任意の論理式を最小化
このブール代数簡略化ツールは、AND、OR、NOT、XOR、NAND、NORなどの演算子で構築された任意の論理式を解析し、内部的に真理値表を生成し、Quine-McCluskeyアルゴリズムを実行して最小の積和形式に簡略化します — デジタル論理設計で使用されるのと同じ厳密な方法で、最大6変数に対応します。
クイック回答
このツールはあなたのブール式を解析し、真理値表を生成し、Quine-McCluskeyアルゴリズムを実行して、最大6変数に対応した最小の同等の積和式を出力します。
AND、OR、NOT、XOR、NAND、NOR（または&、|、!、^）と括弧を使用してください。変数はA、B、Cなどの文字です。
ブール代数簡略化ツール — Quine-McCluskey最小化をオンラインでの使い方
- 1
変数（A、B、C…）とAND、OR、NOT、XORなどの演算子を使用してブール式を入力します。
- 2
「簡略化」をクリックして内部で真理値表を生成し、Quine-McCluskey最小化を実行します。
- 3
簡略化された積和式と、それを構築するために使用された実装項を確認します。
なぜブール代数簡略化ツール — Quine-McCluskey最小化をオンラインでを使うのか？
デジタル回路は論理ゲートから構築されており、ゲートが少ないほどコスト、消費電力、遅延が少なくなります — そのため、ブール式をその最も単純な同等形式に縮小することは、デジタル設計における重要なステップです。1950年代にWillard QuineとEdward McCluskeyによって開発されたQuine-McCluskeyアルゴリズムは、正確に1つの変数で異なる真理値表のミンタームを体系的に組み合わせてすべての「実装項」を見つけ、その後、すべての真の出力をカバーする実装項の小さな集合を選択します — これにより、手作業による場当たり的な簡略化とは異なり、最小または準最小の積和式が生成されます。この計算機は、サイトの真理値表ジェネレーターで使用されているのと同じ実用的な上限である最大6変数の式に対してこの正確なプロセスを実行します。
よくある質問
関連ツール
真理値表ジェネレーター — オンラインでブール論理式を
AND、OR、NOT、XOR、NAND、NOR、条件演算子を含むあらゆるブール論理式の真理値表を生成します。トートロジーと矛盾の自動検出を備えた無料計算機。
カルノー図（K-Map）ソルバー — 2〜4変数をオンラインで
ミンタームのリストから2、3、または4変数のカルノー図を解きます。視覚的なグリッド、グループ化されたセル、最小の積和式を備えた無料のK-Mapソルバー。
ビット演算計算機 — AND、OR、XOR、NOT、シフトをオンラインで
整数に対してビット演算（AND、OR、XOR、NOT、左シフト、右シフト）を即座に実行します。各演算の視覚的なインタラクティブビット図を備えた無料計算機。