等值演算的应用举例-2014091522053249

【文件属性】：

文件名称：等值演算的应用举例-2014091522053249

文件大小：477KB

文件格式：PPT

更新时间：2024-04-13 04:28:46

java

等值演算的应用举例 证明两个公式等值 例2 证明 p(qr)  (pq)r 证 p(qr)  p(qr) （蕴涵等值式，置换规则）  (pq)r （结合律，置换规则）  (pq)r （德摩根律，置换规则）  (pq)r （蕴涵等值式，置换规则） 今后在注明中省去置换规则 注意：用等值演算不能直接证明两个公式不等值