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

常用逻辑运算符 叫否定( Negation)-P读作非P 叫合取( Conjunction)P∧Q读作P与Q 叫析取( Disjunction)PvQ读作P或Q →叫条件( Condition)P→Q读作如果P,则 Q 叫双条件( Bicondition)P纱Q读作P当且 仅当Q ①逻辑运算符优先级从高到低为 ②同级逻辑运算符从左到右 十③最外层括号可以去掉 真值表 非合取析取异或条件双条件 NOT AND OR XOR CONDITION BICONDITION PP∧ QlPvQPOQP→QPQ T FFTT TFFF TTTF FTTF TFTT F FF T (P^-Q)-(PQ PvQ (F→Q入(Q→P 常用逻辑公式 等价( Equivalance)公式 1.交换律: P∧Q≡Q∧P,PVQ≡QvP,P+Q≡QP 结合律 P∧(Q∧R)≡(P∧Q∧R) Pv(QvR)≡( PvQVR PQ分R)≡(P分Q)分R 3分配律 P入(QvR)≡(PAQV(P∧R) Pv(Q∧R)≡(PvQ∧(P√R), P→(Q→R)≡(P→Q)→(P→R) 常用逻辑公式 4双重否定律:~P≡P 5 De Mogen定律: (P∧Q)≡~P-Q, (PvQ≡~P∧~Q 6否定深入: (P子Q≡~P4Q≡P4~Q P→~Q≡Q→P P4-Q≡Q←P 常用逻辑公式 7变量等同 P∧P≡