boom http://ddd.fit.cvut.cz/prj/BOOM/index.php?page=main
BOOM –QG –Ov in.txt out.txt
逻辑表达式生成真值表 http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
boom http://ddd.fit.cvut.cz/prj/BOOM/index.php?page=main
BOOM –QG –Ov in.txt out.txt
逻辑表达式生成真值表 http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/