公式的赋值与分类

设A为一个命题公式，

（1）若A在它的所有可能赋值下取值均为真，则称A为重言式或永真式

（2）若A在它的所有可能赋值下取值均为假，则称A为矛盾式或永假式

（3）若A至少存在一个赋值是成真赋值，则称A为可满足式

posted @ 2021-08-08 20:01  杜嘟嘟  阅读(359)  评论(0)  编辑  收藏  举报