离散数学(第1.5)陈瑜.pptVIP

陈瑜;主要内容:;1.5命题公式的范式表示：;1.5命题公式的范式表示：;;例5.1;例5.1;例5.1;例5.1;例5.1;例5.1;例5.1;结论：;结论：;结论：;结论：;定理1.6〔范式存在定理〕任何命题公式都存在与之等价的合取范式与析取范式。

证明：〔略p14)

;求一个命题公式的与之等价的析取范式和合取范式，其步骤如下：;求一个命题公式的与之等价的析取范式和合取范式，其步骤如下：;求一个命题公式的与之等价的析取范式和合取范式，其步骤如下：;范式的求取〔化归〕过程：;范式的求取〔化归〕过程：;;;;;;;;;;;;;;;;;主〔特异、正那么〕合取范式：;主〔特异、正那么〕合取范式：;主〔特异、正那么〕合取范式：;由真值表可知：

①任何两个极大项都不是相互等价的且只有一组真值指派使其值为F。

②2个命题变元有22=4种不同的组合〔极大项〕对于n个命题变元，共有2n个不同的极大项，记为。;由真值表可知：

①任何两个极大项都不是相互等价的且只有一组真值指派使其值为F。

②2个命题变元有22=4种不同的组合〔极大项〕对于n个命题变元，共有2n个不同的极大项，记为：。;1〕没有两个不同的极小项是等价的，且每个极小项只有一组真值指派，使该极小项的真值为真；;1〕没有两个不同的极小项是等价的，且每个极小项只有一组真值指派，使该极小项的真值为真；;3〕mi=～Mi； Mi=～mi；

i=0,1,2,…,2n-1

4〕Mi∨Mj=T； mi∧mj=F；

i≠j；

i,j∈{0,1,2,…,2n-1}

5〕;极小项与极大项的性质：;3〕mi=～Mi； Mi=～mi；

i=0,1,2,…,2n-1

4〕Mi∨Mj=T； mi∧mj=F；

i≠j；

i,j∈{0,1,2,…,2n-1}

5〕;极小项与极大项的性质：;3〕mi=～Mi； Mi=～mi；

i=0,1,2,…,2n-1

4〕Mi∨Mj=T； mi∧mj=F；

i≠j；

i,j∈{0,1,2,…,2n-1}

5〕;3〕mi=～Mi； Mi=～mi；

i=0,1,2,…,2n-1

4〕Mi∨Mj=T； mi∧mj=F；

i≠j；

i,j∈{0,1,2,…,2n-1}

5〕;极小项与极大项的性质：;极小项与极大项的性质：;极小项与极大项的性质：;极小项与极大项的性质：;;定理1.7在命题公式的真值表中，使公式取值0时的解释所对应的全部极大项的合取式，是该公式的主合取范式。〔P15，定理1.7〕;定理1.7在命题公式的真值表中，使公式取值0时的解释所对应的全部极大项的合取式，是该公式的主合取范式。〔P15，定理1.7〕;利用真值表求主析〔合〕取范式：;解：首先列出其真值表如下：;求公式的主合取范式

;将极大项全部进行合取后，可得到相应的主合取范式：

G=〔Ｐ→Ｑ〕?Ｒ

=〔P∨Ｑ∨Ｒ〕∧〔P∨～Ｑ∨Ｒ〕∧〔～Ｐ∨Ｑ∨～Ｒ〕∧〔～Ｐ∨～Ｑ∨Ｒ〕;定理1.8在命题公式的真值表中，使公式取值1时的解释所对应的全部极小项的析取式，是该公式的主析取范式。〔P16，定理1.8〕;定理1.8在命题公式的真值表中，使公式取值1时的解释所对应的全部极小项的析取式，是该公式的主析取范式。〔P16，定理1.8〕;利用真值表求主析〔合〕取范式：;解：首先列出其真值表如下：;求公式的主析取范式;将极小项全部进行析取后，可得到相应的主析取范式：

G=〔Ｐ→Ｑ〕?Ｒ

=〔～P∧～Ｑ∧Ｒ〕∨〔～P∧Ｑ∧Ｒ〕∨〔Ｐ∧～Ｑ∧～Ｒ〕∨〔Ｐ∧Ｑ∧Ｒ〕;公式转换法：;公式转换法：;公式转换法：;公式转换法：;公式转换法：;公式转换法：〔续〕;公式转换法：〔续〕;公式转换法：〔续〕;利用公式的等价求G＝(P→Q)∧R的主析取范式和主合取范式。

解：G＝(P→Q)∧R＝(～P∨Q)∧R〔蕴涵〕

＝(～P∨Q∨(R∧～R))∧

((～P∧P)∨(～Q∧Q)∨R)〔添加R、P、Q〕

＝(～P∨Q∨R)∧(～P∨Q∨～R)∧

(～P∨～Q∨R)∧(～P∨Q∨R)∧

(P∨～Q∨R)∧(P∨Q∨R)〔分配律〕

＝(P∨Q∨R)∧(P∨～Q∨R)∧(～P∨Q∨R)∧

(～P∨Q∨～R)∧(～P∨～Q∨R)〔结合律〕

－－－－－主合取范式;利用公式的等价求G＝(P→Q)∧R的主析取范式和主合取范式。

解：G＝(P→Q)∧R＝(～P∨Q)∧R〔蕴涵〕

＝(～P∨Q∨(R∧～R))∧

((～P∧P)∨(～Q∧Q)∨R)〔添加R、P、Q〕

＝(～P∨Q∨R)∧(～P∨