プログラム bool-expr-solve.sf.net

ブール式ソルバーは、指定されたブール式の真相テーブルを生成するコマンドラインユーティリティです。