怎么用c++实现永真式和永假式的判定。。。。。。。。。。。。。。。。。。。。。。。。。。。。。
我们离散大作业有类似的东西，个人的思路有两种：
1、真值表暴力做法：
用O(2^n)的方法做出真值表，真值表一出来，永真永假就可以很简单的知道了
2、图论搜索法
把一个命题公式看成一个点，可以通过一个公式到达的点之间连上一条边，那么这个问题就变成了一个图论问题。利用搜索算法先把命题公式变形成
主范式，再判断这个主范式满不满足永真式或者永假式的条件。
if(1>0)if(1<0)
while(true)
用暴力求解方法最合适，在这种事情上，暴力试探，才是最好的方式。至于楼上的n^2。其实应该不对。是2^n才对。要是这些式子都是真，或者都是假的话，那么就很得到验证了。但是这种东西，如果可以用人脑推就用人脑推。很锻炼思维的。