数理逻辑求公式的真值表和判断两个公式是否相等的程序\okok.exe ..................................................\okok.txt 数理逻辑求公式的真值表和判断两个公式是否相等的程序