メインコンテンツへスキップ
Z

カルノー図ソルバー

2〜4変数のブール関数を最簡SOP形式に簡単化。ドントケア条件にも対応し、使用された主項を表示します。

無料 登録不要 クライアントサイド プライバシーに配慮 Updated
変数:
F
最簡SOP
F =
最小項:
ドントケア:

F列のセルをクリックして値を切り替えます 0 → 1 → X (ドントケア)。

使い方

  1. 1 関数の変数の数(2、3、または4)を選択します。
  2. 2 各行のFセルをクリックし、出力値を1、X(ドントケア)、0のいずれかに設定します。
  3. 3 最簡化されたsum-of-products式がその場で更新されます。

このツールを使う理由

  • クワイン・マクラスキー法によりブール関数を簡単化します。
  • ドントケア条件に対応し、よりシンプルな式を導き出せます。
  • 結果の根拠となる主項を表示し、すべてブラウザ内で完結します。

よくある質問

このツールは何を出力しますか?

最簡化されたブールsum-of-products(SOP)式です。真理値表を正しく再現しつつ、項と literal の数を可能な限り少なくします。

どのように簡単化していますか?

クワイン・マクラスキー法を実行してすべての主項を求め、その中から必要な最小項をカバーする最小の集合を選び出します。

ドントケア(X)とは何ですか?

出力値がどちらでもよい入力の組み合わせのことです。ツールはより単純な式になる方に応じて、これを0または1として扱います。

プライム記号(′)は何を意味しますか?

プライム記号(例:A′)は補元、つまりその変数がこの項において0であることを示します。プライムのない文字は、その変数が1であることを意味します。

カルノー図ソルバー とは?

カルノー図ソルバーは、真理値表からブール関数を簡単化し、クワイン・マクラスキー法を用いて最も単純なsum-of-products式を導き出すツールです。

機能

最大4変数に対応

2〜4変数に対応した、1 / 0 / ドントケア(X)セルを持つインタラクティブなカルノー図。

Quine–McCluskeyによる最小化

ドントケアを活用し、最小積和形式の式を返します。

無料かつプライベート

お使いのデバイス上で動作し、データがアップロードされることはありません。

Input

F(A,B): minterms {1, 3} = 1

Output

F = B

主な用途

  1. 1

    論理回路の簡略化

    回路を構築する前に、ブール関数をより少ないゲート数に削減します。

  2. 2

    デジタル設計の学習

    カルノー図のグループ化とSOP最小化を学びます。

  3. 3

    ドントケアの活用

    未指定の出力を利用して、式をさらに簡略化します。

概要

Zerethonのカルノー図ソルバーは、最大4変数までのブール関数をブラウザ上で最小化します。各セルを1、0、ドントケアのいずれかに切り替えると、Quine–McCluskeyアルゴリズムを用いて最小積和形(sum-of-products)式を返します。すべての処理はクライアント側で実行され、データがアップロードされることはありません。

カテゴリ
数学
料金
無料
プライバシー
ブラウザベース
登録
不要

参考文献

プライバシー

明記されない限り、データがブラウザの外に送信されることはありません。カルノー図ソルバー は完全にクライアント側で動作します — サーバーへのアップロードなし、ログなし、入力内容のトラッキングなし。

関連ツール

Zerethon Social で作成・共有・成長しよう

無料登録。ポイントを獲得し、実績を集め、世界中のクリエイターとつながりましょう。

無料登録