eXpimal - Logic calculator

完璧な数学論理計算機。

最も機能的な数学論理計算機。

このアプリケーションの機能は次のとおりです。

-真理値表の作成;

-DNF、CNF、PDNF、およびPCNFを検索します。

-Zhegalkin多項式を見つける（未定係数法とパスカルの三角形法）;

-カルノー図を作成します。

-等価変換を使用してブール関数を最小化します（簡単に、詳細に）。

-Postクラスに属します。

-論理スキーム（IECおよびANSIスキームの両方）をプロットします。

-ラダー図をプロットします。

-マクラスキー法を使用して関数を最小化します。

ブール関数は複数の文字として表示される場合があります。

単項演算の「否定」は、単一の文字または上線の形式で表示できます。

関数内の変数の最大数は6に制限されています。

関数に埋め込まれた否定の最大数は5つに制限されています。

関数内の最大文字数は64文字に制限されています。

カルノー図、PCNFおよびPDNF関数、Zhegalkin多項式、McCluskeyメソッド、およびPostクラスは、値ベクトルの操作にのみ使用できます。

ベクトルのモジュラスには、4、8、16、32、または64文字が含まれている必要があります。

この関数では0と1の値を使用できますが、簡略化の対象になります。

論理スキームをプロットするための含意は許容されません。

広告はポップアップしません。

このアプリケーションは、直感的に理解でき、トラブルのない操作を示します。すべての結果はコメントとともに詳細に表示されます。