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

常用逻辑运算符 叫否定( Negation)-P读作非P 叫合取( Conjunction)PQ读作P与Q 叫析取( Disjunction)PvQ读作P或Q 叫条件( Condition)PQ读作如果P,则 Q 叫双条件( Bicondition)P纱Q读作P当且 仅当Q 逻辑运算符优先级从高到低为 同级逻辑运算符从左到右 十最外层括号可以去掉 真值表 非合取析取异或条件双条件 NOT AND