中科院讲义分布式操作系统Peterson和Dekker算法证明.ppt

常用逻辑运算符 ~叫否定（Negation）~P读作非P ?叫合取（Conjunction）P ? Q读作P与Q ?叫析取（Disjunction）P ? Q读作P或Q ?叫条件（Condition）P ? Q读作如果P，则Q ?叫双条件（Bicondition）P ? Q读作P当且仅当Q ①逻辑运算符优先级从高到低为 ~， ? ，? ，?，? ②同级逻辑运算符从左到右。 ③最外层括号可以去掉。 真值表 常用逻辑公式 等价（Equivalance）公式： ⒈交换律： P ? Q ? Q ? P, P ? Q ? Q ? P, P ?Q ? Q ?P ⒉结合律： P ? (Q ? R) ? (P ? Q) ? R), P ? (Q ? R) ? (P ? Q) ? R， P ? (Q ? R) ? (P ? Q) ? R ⒊分配律： P ? (Q ? R) ? (P ? Q) ? (P ? R), P ? (Q ? R) ? (P ? Q) ? (P ? R)， P ? (Q ? R) ? (P ? Q) ? (P ? R) 常用逻辑公式 ⒋双重否定律：~~P ? P ⒌De.Mogen定律： ~(P ? Q) ? ~P ? ~Q, ~(P ? Q) ? ~P ? ~Q ⒍否定深入： ~(P ? Q) ? ~P ? Q ? P ? ~Q ~P ? ~Q ? Q ? P ~P ? ~Q ? Q ? P 常用逻辑公式 ⒎变量等同 P ? P ? P, P ? P ? P, P ? ~P ? F, P ? ~P ? T, P ? P ? T, P ? ~P ? ~P, ~P ? P ? P, P ? P ? T, P ? ~P ? F ⒏ 常量与变量的逻辑 T ? P ? P, F ? P ? F, T ? P ? T, F ? P ? P, T ? P ? P, F ? P ? T, P ? T ? T, P ? F ? ~P, T ? P ? P, F ? P ? ~P 常用逻辑公式 ⒐ 逻辑词归化： P ? Q ? ~(~P ? ~Q), P ? Q ? ~(~P ? ~Q), P ? Q ? ~P ? Q, P ? Q ? (P ? Q) ? (Q ? P) P ? Q ? (P ? Q) ? (~P ? ~Q) ⒑量词分配律： ?x(A(x) ? B(x)) ? ?xA(x) ? ?xB(x), ?x(A(x) ? B(x)) ? ?xA(x) ? ?xB(x) 常用逻辑公式 ⒒量词转换律： ~?xA(x) ? ?x~A(x), ~ ?xA(x) ? ?x~A(x) ⒓量词辖域扩张及收缩律： ?xA(x) ? P ? ?x(A(x) ? P), ?xA(x) ? P ? ?x(A(x) ? P), ?xA(x) ? P ? ?x(A(x) ? P), ?xA(x) ? P ? ?x(A(x) ? P) 常用逻辑公式 ⒔量词其他等价公式： ?xA(x) ? B ? ?x(A(x) ? B), A ? ?xB(x) ? ?x(A ? B(x)), ?xA(x) ? B ? ?x(A(x) ? B), A ? ?xB(x) ? ?x(A ? B(x)) ?x(A(x) ? B(x)) ? ?xA(x) ? ?xB(x), ⒕量词次序交换： ?x?yA(x, y) ? ?y?xA(x, y) ?x?yA(x, y) ? ?y?xA(x, y) 常用逻辑公式 蕴涵式（Implication）： ⒈化简式： P ? Q ? P, P ? Q ? Q ⒉附加式： P ? P ? Q, Q ? P ? Q ⒊~P ? P ? Q, Q ? P ? Q, ~(P ? Q) ? P, ~(P ? Q) ? ~Q ⒋ P, Q ? P ? Q 常用逻辑公式 ⒌析取三段论：~P, P ? Q ? Q ⒍假言推论(modus ponens简记MP)： P, P ? Q ? Q ⒎拒取式： ~Q, P ? Q ? ~P ⒏假言三段论： P ? Q, Q ? R ? P ? R ⒐二难推论： P ? Q, P ? R, Q ? R ? R ⒑(P ? Q) ? (R ? P ? R ? Q), (P ? Q) ? (R ? P ? R ? Q) 常用逻辑公式 ⒒?xA(x) ? ?xB(x) ?