离散数学-范式.pptVIP

命题公式的范式 命题公式的逻辑恒等 逻辑恒等 A?B，公式A等价于B，A和B逻辑恒等。 例如： P → Q ? ┐P ? Q P?Q ? (P ? Q) ? (┐P ? ┐Q) 为了便于研究，有必要将公式的形式规范化，将公式转换为与其等价的标准形式。 基本积和基本和的定义 基本积 是合式公式中的变元或变元的否定的合取； 基本和 是合式公式中的变元或变元的否定的析取。 例：给定命题变元P、Q，则： P ┐P?Q Q ?┐P P ?┐P Q ? P?┐P 析取范式和合取范式 P ┐P?Q Q?┐P P?┐P Q?P?┐P 基本积 基本和 析取范式的定义 定义：一个形为基本积的析取的公式，如果与命题公式A等价，则称它是公式A的析取范式， 记为： A?A1 ? A2 ? …... ? An， 其中：n ≥ 1，Ai是基本积。 例如： P→Q ? ┐P ? Q P?Q ? (P ? Q) ? (┐P ? ┐Q) 注意：析取范式中只含有“?”，“?”，“┐” 析取范式 求公式析取范式的方法，通过公式的逻辑恒等变换： 1. 消去联结词“→”和“?”； 2. 将“┐”通过德·摩根定律内移至命题变元的前面， 并消去双重否定； 3. 利用分配律、结合律等将公式化为析取范式。 例: 求 P?(P→Q) 的析取范式 解：P ? (P→Q) ? P ? (┐P? Q) ? (P ? ┐P) ? (P ? Q) (*) ? (P ? Q) (*’) 注意： 公式的析取范式不是惟一的。 析取范式的求法 基本逻辑恒等式替换 分配律展开 主 析 取 范 式 极小项的定义 定义：在共有n个命题变元P1, P2, …, Pn的基本积中， 如果每一个变元与其否定不同时出现，且 二者之一出现且仅出现一次， 则这种基本积称为命题变元P1, P2, …, Pn的极小项。 例： 1) 对于变元P和Q： P?┐Q、P?Q 是极小项; 2) 对于变元P1、P2和P3： P1 ? ┐P2 ? ┐P3 、┐P1 ? ┐P2 ? P3 是极小项。 问题：对于给定的n个变元，一共有 个不同的极小项。 2n 极小项的性质 例：n=3个变元P、Q、R，共有23=8个极小项。 ┐P ?┐Q ?┐R ┐P ?┐Q ? R ┐P ? Q ?┐R ┐P ? Q ? R P ?┐Q ?┐R P ?┐Q ? R P ? Q ? ┐R P ? Q ? R 000~111 极小项 P,Q,R的 所有指派 其中有惟一 的指派: 极小项标记 极小项标记法: 有且仅有一个指派使极小项真值为1，指派对应的10进制数字即为该极小项的下标。 000~111 … … 000~111 000 001 010 011 100 101 110 111 m0 m1 m2 m3 m4 m5 m6 m7 使得该极小项真值为1 注意：极小项的下标，对应于给定的变元次序 推广到n个变元的极小项 n个变元的极小项： m0： ? ┐P1 ? ┐P2 ? …… ? ┐Pn m1： ? ┐P1 ? ┐P2 ? …… ? Pn …… m2n -1 ： ? P1 ? P2 ? …… ? Pn 极小项性质 极小项的下标对应的指派，惟一使得该极小项真值为1。 主析取范式 定义：一个由极小项之和组成的公式，若与合式公式 A等价，则称之为公式A的主析取范式。 例： P?Q ?(P?Q) ? (┐P?┐Q)? ? m3 ? m 0 ? ∑ (0，3)? 基本逻辑恒等式替换 公式的主析取范式求法: ①恒等变换法：A ? 析取范式 ? 主析取范式 1) 去掉析取范式中的永假的基本积； 2) 合并相同的文字和基本积； 3) 对基本积中补入未出现的命题变元，然后展开，化简直至得到主析取范式。 ②真值表法 求公式的主析取范式方法 例：求公式A的主析取范式(恒等变换法) A?P?Q?R ?P?Q?(R?┐R)?(P?┐P)?(Q?┐Q)? R ?P?Q?R ? P?Q?┐R ? P?