离散数学逻辑结构（划对号的两个）非常感谢

Question

如题所述

Answer 1

第4（3）题
(P↔Q)∧(¬R∨Q)
⇔ ((P→Q)∧(Q→P))∧(Q∨¬R) 变成 合取析取
⇔ ((¬P∨Q)∧(¬Q∨P))∧(Q∨¬R) 变成 合取析取
⇔ (¬P∨Q)∧(P∨¬Q)∧(Q∨¬R) 结合律

第6（3）题

使用真值表方法：

P Q R P∨(Q↔R)
1 1 1 1
1 1 0 1
1 0 1 1
1 0 0 1
0 1 1 1
0 1 0 0
0 0 1 0
0 0 0 1

检查为假的赋值，变元取反，得到主合取范式：
(P∨¬Q∨R)∧(P∨Q∨¬R)追问

那个第一个是s不是q……