真值表生成逻辑表达式程序

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/