真值函数 1元值函数 2元真值函数.pptVIP

真值函数 定义2.12 称F:{0,1}n?{0,1}为n元真值函数 联结词完备集 定义2.13 设S是一个联结词集合, 如果任何n(n?1) 元真值 函数都可以由仅含S中的联结词构成的公式表示,则称S是 联结词完备集 定理2.1 下述联结词集合都是完备集: (1) S1={?, ?, ?, ? , ?} (2) S2={?, ?, ?, ?} (3) S3={?, ? , ?} (4) S4={?, ?} (5) S5={?, ?} (6) S6={?, ?} 复合联结词 与非式: p?q??(p?q), ?称作与非联结词 或非式: p?q??(p?q), ?称作或非联结词 p?q为真当且仅当p,q不同时为真 p?q为真当且仅当p,q不同时为假 定理2.2 {?},{?}是联结词完备集 证 ? p ? ?(p?p) ? p?p p?q ? ??(p?q) ? ?(p?q) ? (p?q)?(p?q) 得证{?}是联结词完备集. 对于{?}可类似证明. 2.3 范式 2.3.1 析取范式与合取范式 简单析取式与简单合取式 析取范式与合取范式 2.3.2 主析取范式与主合取范式 极小项与极大项 简单析取式与简单合取式 文字:命题变项及其否定的统称 简单析取式:有限个文字构成的析取式 如 p, ?q, p??q, p?q?r, … 简单合取式:有限个文字构成的合取式 如 p, ?q, p??q, p?q?r, … 定理2.3 (1) 一个简单析取式是重言式当且仅当它同时含某个命题变项和它的否定 (2) 一个简单合取式是矛盾式当且仅当它同时含某个命题变项和它的否定 析取范式与合取范式 析取范式:由有限个简单合取式组成的析取式 A1?A2???Ar, 其中A1,A2,?,Ar是简单合取式 合取范式:由有限个简单析取式组成的合取式 A1?A2???Ar , 其中A1,A2,?,Ar是简单析取式 范式:析取范式与合取范式的统称? 定理2.4 (1) 一个析取范式是矛盾式当且仅当它的每一个 简单合取式都是矛盾式 (2) 一个合取范式是重言式当且仅当它的每一个简单析取 式都是重言式 范式存在定理 定理2.5 任何命题公式都存在着与之等值的析取范式与合 取范式. 证 求公式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) 求析取范式 范式存在定理(续) 例1 求?(p?q)??r 的析取范式与合取范式 解 ?(p?q)??r ? ?(?p?q)??r ? (p??q)??r 析取范式 ? (p??r)?(?q??r) 合取范式 注意: 公式的析取范式与合取范式不惟一. 极小项与极大项 定义2.17 在含有n个命题变项的简单合取式(简单析取式)中,若每个命题变项均以文字的形式出现且仅出现一次，而且第i(1?i?n)个文字(按下标或字母顺序排列)出现在左起第i位上,称这样的简单合取式(简单析取式)为极小项(极大项) Note: (1) n个命题变项产生2n个极小项和2n个极大项 (2) 2n个极小项(极大项)均互不等值 (3) 用mi表示第i个极小项,其中i是该极小项成真赋值的十进制表示. 用Mi表示第i个极大项,其中i是该极大项成假赋值的十进制表示, mi(Mi)称为极小项(极大项)的名称. 极小项与极大项(续) 定理2.6 设mi 与Mi是由同一组命题变项形成的极小项和极 大项, 则 ?mi ? Mi , ?Mi ? mi 主析取范式与主合取范式 主析取范式:由极小项构成的析取范式 主合取范式:由极大项构成的合取范式 例如，n=3, 命题变项为p, q, r时， (?p??q?r)?(?p?q?r) ? m1?m3 是主析取范式 (p?q??r)?(?p?q??r) ? M1?M5 是主合取范式 定理2.7 任何命题公式都存在着与之等值的主析取范式和 主合取范式, 并且是惟一的. 求主析取范式的步骤 设公式A含命题变项p1,p2,…,pn (1) 求A的析取范式A? =B1? B2? … ? Bs, 其中Bj是简单合取式 j=1,2, … ,s (2)