《命题公式的分类.ppt》由会员分享，可在线阅读，更多相关《命题公式的分类.ppt（5页珍藏版）》请在三一办公上搜索。
命题公式的分类,在所有赋值下均为真的命题公式叫做重言式(永真式);在所有赋值下均为假的,叫做矛盾式(永假式);既不是重言式也不是矛盾式的公式叫做偶然式;不是矛盾式的公式统称可满足式.,例10 判断下列命题的类型,0 0 0 0 0 1 1 1,0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1,A=p(qr),p q r,可满足式,偶然式,1),11000011,0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1,(p q)(q r)(p r),p q r,2),10011001,10000001,11111111,10100101,重言式,11110011,0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1,(p q)q r,p q r,3),00001100,00000000,00000000,00110011,01010101,矛盾式,11110011,0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1,(p q)q r,p q r,3),00001100,00000000,00000000,矛盾式,
