主要功能 对输入的任意合式公式,判断它是否合法 如果合法,输出它的真值表与主范式,不合法则输出它不合法 输入两个合式公式,判断它们是否等价 下面...