Question

离散数学 及其应用书中请问这题到底是什么意思，大神来帮分析下

说明：如果对命题变量的真值赋值可使复合命题为真，则称这个复合命题是可满足的。
题目是下面这张图片

答案是下面这张图片

我就是不理解到底题目想表达什么，答案又表达的是什么。





Answer 1

原理就是

已知p→c的情况下，如果能够证明
¬p→c
则能得出c为永真。
这个定理，可表示为(p→c ∧¬p→c) →c
下面我们来证明它永真：
(p→c ∧¬p→c) →c⇔
((¬p∨c)∧(p∨c))→c⇔
((¬p∧p)∨c)→c⇔
c→c⇔
T

追问

一个复合命题求解我会
要证明一个命题是否为真，只要用逻辑公式直接求解就可以了，
我现在不理解他说要用那个叫【可满足性算法】去求一个复合命题是否为永真的，
这个可满足性算法又是什么