真理値表や論理式からリード・マラー標準形（ANF）を3つの方法で自動計算し、図解で学べるインタラクティブ学習ツールです。
先に読んだり見たりすると、ツールの使い方や背景がつかみやすくなります。
今後の開発の励みになりますので、ご支援をいただけますと幸いです。