范式--离散数学.pptxVIP

1 2.3 范式 2.3.1 析取范式与合取范式 简单析取式与简单合取式 析取范式与合取范式 2.3.2 主析取范式与主合取范式 极小项与极大项 主析取范式与主合取范式 主范式的用途 2 2.3.1 析取范式与合取范式 1、简单析取式与简单合取式 （1）文字 命题变元及命题变元的否定称为文字，并称命题变元为正文字，命题变元的否定为反文字。 如 p 、q 等。 3 简单析取式（基本和）：由有限个文字构成的析取式。 如 p, q, pq, pqr, … 如 p, q, pq, pqr, … 简单合取式（基本积）：由有限个文字构成的合取式。 （2）简单析取式与简单合取式 4 在上述表达式中，当 bj=1 时取 Pij 的正文字， bj=0 时取Pij 的反文字。 （3）一般形式 5 （4）简单析取式与简单合取式的性质 定理2.3 (1) 一个简单析取式是重言式当且仅当它同时含 某个命题变元和它的否定。 (2) 一个简单合取式是矛盾式当且仅当它同时含某个命题变元和它的否定。 6 2、析取范式与合取范式 （1）定义 定义2.16 （1）由有限个简单合取式组成的析取式 A1A2Ar ，称为析取范式，其中A1,A2,,Ar 是简单合取式。 （2）由有限个简单析取式组成的合取式 A1A2Ar 称为合取范式，其中A1,A2,,Ar是简单析取式。 （3）析取范式与合取范式的统称为范式 。 7 （2）析取范式与合取范式的性质 定理2.4 (1) 一个析取范式是矛盾式当且仅当它的每一个简单合取式都是矛盾式 (2) 一个合取范式是重言式当且仅当它的每一个简单析取式都是重言式 8 （3）范式存在定理 定理2.5 任何命题公式都存在着与之等值的析取范式与合 取范式。 这个定理意味着： 且B是范式。 9 （4）范式求解步骤 求公式A的范式的步骤： (1) 消去A中的蕴涵词和等价词 。 ABAB， AB(AB)(AB) (2) 否定联结词的内移或消去  A A，(AB)AB，(AB)AB (3) 使用分配律进行化简、整合。 A(BC)(AB)(AC) 求合取范式 A(BC) (AB)(AC) 求析取范式 10 举例 例1 求(pq)r 的析取范式与合取范式 解 (pq)r  (pq)r  (pq)r 析取范式  (pr)(qr) 合取范式 11 例2 求 的合取范式。 12 例 3 范式的表达式不唯一。 13 2.3.2 主析取范式与主合取范式 1、极大项与极小项 （1）定义 定义2.17 在含有n个命题变项的简单合取式(简单析取式) 中，若每个命题变项均以文字的形式出现且仅出现一次， 而且第i(1in)个文字(按下标或字母顺序排列)出现在左 起第 i 位上，称这样的简单合取式（简单析取式）为极小项（极大项）。 14 说明: (1) n个命题变项产生2n个极小项和2n个极大项。 (2) 2n个极小项(极大项)均互不等值。 (3) 用mi表示第i个极小项，其中i是该极小项成真赋值的十 进制表示；用Mi表示第i个极大项，其中i是该极大项成假赋 值的十进制表示，mi(Mi)称为极小项(极大项)的名称。 15 2个变元的极大项与极小项 16 （2）极大项与极小项的关系 定理2.6 设mi 与Mi是由同一组命题变项形成的极小项和极大项， 则mi  Mi ，Mi  mi 。 17 2、主范式 （1）定义 主析取范式:由极小项构成的析取范式 主合取范式:由极大项构成的合取范式 例如，n=3, 命题变项为p, q, r时， (pqr)(pqr)  m1m3 是主析取范式 (pqr)(pqr)  M1M5 是主合取范式 18 （2）主范式存在定理 定理2.7 任何命题公式都存在着与之等值的主析取范式和主合取范式，并且是惟一的。 19 （3）求主析取范式的步骤 设公式A含命题变项p1,p2,…,pn (1) 求A的析取范式A=B1 B2 …  Bs, 其中Bj是简单合取式 ； (2) 若某个Bj既不含pi, 又不含pi, 则将Bj展开成 Bj  Bj(pipi)  (Bjpi)(Bjpi) 重复这个过程, 直到所有简单合取式都是长度为n的极小项为止； (3) 消