离散数学-命题逻辑+异或(对称差)+主析取范式+主合取范式+推理

异或与精确表达

异或（对称差）

异或，英文为exclusive OR，缩写成xor
异或的数学符号为“⊕”，计算机符号为“eor”。其运算法则为：

a⊕b = (¬a ∧ b) ∨ (a ∧¬b)

如果a、b两个值不相同，则异或结果为1。如果a、b两个值相同，异或结果为0。
集合表示方法
$$A\oplus B=(A-B)\cup (B-A)$$

精确表达:真值表需要精确对应

天不下雨，我就上街，否则在家
$$(\neg 天下雨\to 我上街)\wedge (天下雨\to 我在家)$$

命题公式的简化与命题等价

命题公式的简化

$$简化命题公式的约定\{\begin{array}{l}最外层括号可省略\\ 不影响运算次序(\neg ,\wedge ,\vee ,\to ,\leftrightarrow )的括号可省略\end{array}$$

命题等价:真值表相同

基础等价公式

$$等价公式的证明方法：列真值表法或等价公式变换$$

重言式(永真式)与矛盾式(永假式)

重言蕴含式：

$$当且仅当A\to B\iff T，称A重言蕴含B,记作A\Rightarrow B$$
$$重言蕴含式A\Rightarrow B成立的证明\{\begin{array}{l}假设A为真，推出B为真\\ 假设B为假，推出A为假\end{array}$$

基础重言蕴含式

范式

析取范式与合取 范式

$$\begin{gathered} 析取范式: \\ 合取范式: \end{gathered}$$
$$\begin{gathered} 求析取范式与合取范式的方法： \\ 去掉\to 和\leftrightarrow (Q\leftrightarrow R可以换成(Q\wedge R)\vee (\neg Q\wedge \neg R)) \\ 将\neg 放到命题变元前 \\ 用等价变换的方法将公式整理到目标形式 \end{gathered}$$
否定前移：

主析取范式和主合取范式

$$\begin{gathered} 主析取范式:将命题公式写为小项的析取 \\ 主合取范式:将命题公式写为大项的合取 \end{gathered}$$

主	项	码	范式的值如果包含所有项
析取	小项	成真赋值	永真
合取	大项	成假赋值	永假

$$\begin{gathered} 小项：n个命题变元的合取式， \\ 每个变元出现且仅出现一次(以本身或者否定形式) \\ 仅含有两个命题变元的全部小项\neg P\wedge \neg Q,\neg P\wedge Q,P\wedge \neg Q,P\wedge Q(所有小项的析取式为永真式) \\ 以上小项对应的编码：m_0,m_1,m_2,m_3(m_{00},m_{01},m_{10},m_{11})注意编码的变化，由二进制专为了十进制 \\ 求主析取范式需要先求吸取范式，用\neg P\vee P补项后用分配律调整得到 \end{gathered}$$
$$\begin{gathered} 大项：n个命题变元的析取式， \\ 每个变元出现且仅出现一次(以本身或者否定形式) \\ 仅含有两个命题变元的全部大项P\vee Q,P\vee \neg Q,\neg P\vee Q,\neg P\vee \neg Q(所有大项的析取式为永假式) \\ 以上小项对应的编码：M_0,M_1,M_2,M_3(M_{00},M_{01},M_{10},M_{11})注意编码的变化，由二进制专为了十进制 \\ 编码对应的是使得小项取值为真，大项取值为假的赋值 \end{gathered}$$

某研究所要从A, B, C三名科研骨干中挑选1-2名出国进修人员，由于工作需要，选派时要满足以下条件:若
A去，则C同去;若B去，则C不能去;若C不能去，则A或B可以去。问该如何选派?
解设P:派A去;Q:派B去;R:派C去，
则已知条件表示为:(P→R)^(Q→-R)^(-R→(PV Q)).
求出公式的主析取范式:
G=
(P→R)^(Q→-R)^(-R→(PV Q))
= (-PV R)^(-QV-R)^(RV(PV Q))
= ((-P^-Q)V(-P^-R)V(-Q^R))^(PV QVR)
(-P^ -Q^ R)V(-P^ Q^ -R)V(P^ -Q^R)
可见，有三种选派方案:
1C去，A,B都不去;
2B去，A,C都不去;
3 A,C同去，B不去。

推理

推理的方法

$$\begin{array}{c}推理方法\\ P_1\wedge P_2\wedge P_3\Rightarrow Q\end{array}\{\begin{array}{l}直接推理\\ 真值表法\\ 间接推理\{\begin{array}{l}条件论证(P_1\wedge P_2\Rightarrow P_3\to Q)\\ 反证法(P_1\wedge P_2\wedge P_3\wedge \neg Q\iff F)\end{array}\end{array}$$
$真值表法：$
$$\begin{gathered} 1.对所有P_i都具有真值T的行(表示前提为真的行)， \\ 如果在每一个这样的行中，C也具有真值T，则C是P_i的结论。 \\ 2.对所有C具有真值为F的行(表示结论为假的行)， \\ 如果在每一个这样的行中，P_i中至少有一个公式的真值为F(前提也为假)，则C是P_i的结论 \end{gathered}$$

推理的规则

$$推理的规则\{\begin{array}{l}P规则(证明过程中引入初始条件)\\ T规则(证明过程中引入中间结论)\\ CP(ConditionalProof)规则(使用条件论证)\end{array}$$