論理式や真理値表から、主加法標準形(CSOP)と主乗法標準形(CPOS)を自動的に生成します。
先に読んだり見たりすると、ツールの使い方や背景がつかみやすくなります。
今後の開発の励みになりますので、ご支援をいただけますと幸いです。