論理式や真理値表から、項の圧縮過程（マージ）と主項表をステップ・バイ・ステップで自動生成・図解します。
先に読んだり見たりすると、ツールの使い方や背景がつかみやすくなります。
今後の開発の励みになりますので、ご支援をいただけますと幸いです。