判定其类型的方法就是利用命题公式的真值表。当p,q,r,s分别取0,1时，若真值表最后一列全为1，则对应的命题公式为重言式；若最后一列全为0，则对应的命题公式为永假式；若最后一列既有0又有1，则对应的命题公式为可满足式。例如就拿((p→q)∨(r→s))→((p∨r)→(q∨s))这个来说，
p q r s p→q r→s (p→q)∨(r→s) p∨r q∨s (p∨r)→(q∨s) 结果
0 0 0 0 1 1 1 0 0 1 1
0 0 0 1 1 1 1 0 1 1 1
0 0 1 0 1 0 1 1 0 0 0
下面就不一一列举了，从最后的结果这一列中既有1又有0可得出命题公式((p→q)∨(r→s))→((p∨r)→(q∨s))为可满足式。追问
p q r s p→q r→s (p→q)∨(r→s) p∨r q∨s (p∨r)→(q∨s) 结果
0 0 0 0 1 1 1 0 0 1 1
0 0 0 1 1 1 1 0 1 1 1
0 0 1 0 1 0 1 1 0 0 0
下面就不一一列举了，从最后的结果这一列中既有1又有0可得出命题公式((p→q)∨(r→s))→((p∨r)→(q∨s))为可满足式。追问
不能通过化简吗？
追答你可以使用公式A→B┐AVB将其化简变形，但得到的结果将会比原来的式子更复杂，所以还是不要化简得好。
温馨提示：内容为网友见解，仅供参考
无其他回答
相似回答
