(1) 双重否定率 ¬ ¬ P ? P
(2) 交换率 (P∨Q) ? (Q∨P)， ( P∧Q) ? ( Q∧P)
(3) 结合率 (P∨Q)∨R ? P∨(Q∨R)
(P∧Q)∧R ? P∧(Q∧R)
(4) 分配率 P∨(Q∧R) ? (P∨Q)∧(P∨R)
P∧(Q∨R) ? (P∧Q)∨(P∧R)
(5) 摩根定律 ¬ (P∨Q) ? P∧Q
¬ (P∧Q) ? P∨Q
(6) 吸收率 P∨(P∧Q) ? P
P∧(P∨Q) ? P
(7) 补余率 P∨P ? T, P∧P ? F
(8) 连词化归率 P→Q ? ¬P∨Q
P?Q ? (P→Q)∧(Q→P)
P?Q ? (P∧Q)∨(Q∧P)
(9) 量词转换率 ¬ (?x)P ? (?x)( ¬ P)
¬ (?x)P ? (?x) (¬ P)
(10) 量词分配率 (?x) (P∧Q) ? (?x)P∧(?x)Q
(?x) (P∨Q) ? (?x)P∨(?x)Q
------解决方案--------------------------------------------------------
不简单。