公式的类型-20140910203407490

【文件属性】：

文件名称：公式的类型-20140910203407490

文件大小：245KB

文件格式：PPT

更新时间：2024-05-16 03:00:15

数学

公式的类型 定义1.10 (1) 若A在它的任何赋值下均为真, 则称A为重言式或永真式; (2) 若A在它的任何赋值下均为假, 则称A为矛盾式或永假式; (3) 若A不是矛盾式, 则称A是可满足式. 由例1可知, (pq) r, (qp) qp,  (pq) q 分别为非重言式的可满足式, 重言式, 矛盾式. 注意：重言式是可满足式，但反之不真. 真值表的用途: 求出公式的全部成真赋值与成假赋值, 判断公式的类型