ブール式ソルバーは、指定されたブール式の真理値表を生成するコマンドラインユーティリティです。これは、Javaで書かれているので、インストールされたJavaランタイム環境を持っている任意のプラットフォーム上で動作しますが、メイクファイルやシェルスクリプトは、一般的に必要とするの*...