离散数学Chap 1 命题逻辑 1.6,1.7.pptx

§1.6范式?1

§1.6范式?2

§1.6范式eg1.313解:原式析范合范

§1.6范式eg1.324合范析范

§1.6范式?5

§1.6范式6ex1.33求下列公式的两个范式:(1)(2)

§1.6范式?7

§1.6范式8注:一个命题公式的合取范式或析取范式并不是唯一的。eg:析范析范

§1.6范式?9

§1.6范式?10

§1.6范式极小项的编码规则:(以三个命题变元P,Q,R为例)11m000=?P??Q??R,m001=?P??Q?R,

m010=?P?Q??R,m011

文档评论(0)

1亿VIP精品文档

相关文档