用C语言实现的,输入任意命题公式,然后确定各个变量的值,程序会给出最后的结果(真或者假)大家可以对程序做一点小小的改动,根据自己的需要,有什么问题可以联系我QQ316921732