离散数学1-3.pptVIP

最小联结词组 对偶与范式 注意:任何式子的主析取范式和主合取范式只需要求得其一即可. 例： * 一、异或（不可兼析取） 定义：两个命题P和Q的异或是一个复合命题，记作P?Q，异或也称为不可兼析取。当且仅当P、Q不同时为T时， P ? Q为T，其他情况下的真值都是F。 即：相异为T，相同为F。 注意：或（∨）与异或（ ? ）区别,可举例说明如下： 他是100米或200米冠军。(可兼析取∨) 他是7点或8点离开的。(不可兼析取∨) 异或运算法则表如下： 其他联结词 联结词“?”的运算法则： F T T F P?Q F F T F F T T T Q P 二、条件否定（P? Q） 运算法则： F F T F P? Q F F T F F T T T Q P 三、与非（P↑ Q） 运算法则： T T T F P↑ Q F F T F F T T T Q P 四、或非（P↓ Q） 运算法则： T F F F P↓ Q F F T F F T T T Q P BACK 指可表示出其它所有联结词的最小联结词集合。如： {┒，∨}，{┒， ∧} ，{↑} ，{↓} 都可构成最小联结词组。 例：写出P ∨Q分别用{┒， ∧} ，{↑} ， {↓}表示的等价式。 解：(1) 用{┒， ∧}表示的等价式 P ∨Q ? ┒(┒P ∧ ┒Q) 德.摩根定理 (2) 用{↑}表示的等价式 P ∨Q ? ┒(┒P ∧ ┒Q) 德.摩根定理 ? (┒P) ↑( ┒Q) ? (P ↑ P) ↑( Q ↑ Q) (3) 用{↓}表示的等价式 P ∨Q ? ┒(P ↓ Q) ? (P ↓ Q) ↓( P ↓ Q) 从上节可看到命题公式的最小联结词组为{┒,∨}或{┒,∧} ，但实际上为了使用方便，命题公式常常同时包含{┒,∨,∧} 。我们认为这样的公式∨与 ∧存在对偶规律。 定义1-7、1 在给定的命题公式中，将联结词∨ 换成∧ ，将∧ 换成∨ ，若有特殊变元F和T亦相互取代，所得公式A*称为A的对偶式。 显然A也是A*的对偶式。 例题1 写出下列表达式的对偶式。 （A） （B） （C） 例题2 求 的对偶式 定理1-7.1 设A和A*是对偶式，P1，P2，…，Pn是出现在A和A*中的原子变元，则 定理1-7.2 设P1，P2，…，Pn是出现在公式A和B中的所有原子变元，如果A?B ，则A*?B* 。 定义7、2 一个命题公式称为合取范式，当且仅当它具有型式： 其中A1，A2，…An都是由命题变元或其否定所组成的析取式。 定义7、3 一个命题公式称为析取范式，当且仅当它具有型式： 其中A1，A2，…An都是由命题变元或其否定所组成的合取式。 注：任何一个命题公式，求它的合取范式或析取范式，可以通过下面三个步骤进行： （1）将公式中的联结词化归成∧， ∨ 及┒ 。 （2）利用德·摩根律将否定符号┒直接到各个命题变元之前。 （3）利用分配律、结合律将公式归约为合取范式或析取范式。 例题3 求 的合取范式。 例题4 求 的析取范式。 定义1-7、4 n个命题变元的合取式，称作布尔合取或小项，其中每个变元与它的否定不能同时存在，但两者必须出现且仅出现一次。 注：小项有如下几个性质： （1）每一个小项当其真值指派与编码相同时，其真值为T，在其余2n-1种指派情况下均为F。 （2）任意两个不同小项的合取式永假。 （3）全体小项的析取式永为真，记为： 定义1-7、5 对于给定的命题公式，如果有一个等价公式，它仅由小项的析取所组成，则该等价式称作原式的主析取范式。 定理1-7、3 在真值表中，一个公式的真值为T的指派所对应的小项的析取，即为此公式的主析取范式。 例题5 给定P→Q，P∨Q和┒(P∧Q) ，求这些公式的主析取范式。 例题6 求