【文件属性】:
文件名称:公式的类型-20140910203407490
文件大小:245KB
文件格式:PPT
更新时间:2021-04-26 09:13:35
数学
公式的类型
定义1.10
(1) 若A在它的任何赋值下均为真, 则称A为重言式或永真式;
(2) 若A在它的任何赋值下均为假, 则称A为矛盾式或永假式;
(3) 若A不是矛盾式, 则称A是可满足式.
由例1可知, (pq) r, (qp) qp, (pq) q
分别为非重言式的可满足式, 重言式, 矛盾式.
注意:重言式是可满足式,但反之不真.
真值表的用途:
求出公式的全部成真赋值与成假赋值, 判断公式的类型