「Boolean Simpifier」ソフトウェアの 2023 バージョンでブール式を単純化します。
* 最大 26 の論理入力で式の真理値表を管理します。
* ランダムな出力で真理値表を生成します。
* 生成された真理値表からカルノー マップを作成します。
* ブール式を 64 種類のブール論理言語に変換。
* POS (合計の積) または SOP (合計の積) 形式で式を作成します。
* Minterms または Maxterms 形式で式を作成します。
*ヒューリスティックな方法、正確な方法、または因数分解方法を使用して式を単純化します。
* 異なる簡略化方法を組み合わせて、式をより小さく、より短時間で取得します。