离散数学之等值演算模板.pptVIP

空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 * 1.3 命题逻辑等值演算 等值式 基本等值式 等值演算 置换规则 0.0 * 等值式 定义 若等价式A?B是重言式，则称A与B等值， 记作A?B，并称A?B是等值式 说明：定义中，A,B,?均为元语言符号, A或B中 可能有哑元出现. 例如，在 (p?q) ? ((?p?q)? (?r?r))中，r为左边 公式的哑元. 用真值表可验证两个公式是否等值 请验证：p?(q?r) ? (p?q) ?r p?(q?r) (p?q) ?r 0.0 * 基本等值式 双重否定律 : ??A?A 等幂律： A?A?A, A?A?A 交换律: A?B?B?A, A?B?B?A 结合律: (A?B)?C?A?(B?C) (A?B)?C?A?(B?C) 分配律: A?(B?C)?(A?B)?(A?C) A?(B?C)? (A?B)?(A?C) 0.0 * 基本等值式(续) 德·摩根律: ?(A?B)??A??B