离散数学II说课材料.pptVIP

1.4：范式 1.极小项和极大项的性质 对于两个命题变元P，Q来说，由于每个P，Q可以取命题变元自身和其否定，所以其对应的极小项和极大项分别有四项：P∧Q， ?P∧Q，P∧?Q，?P∧?Q；P∨Q， ?P∨Q, P∨?Q， ?P∨?Q。其真值表如下： 一般来说，对于n个命题变元，则应有 个不同的极小项和 个不同的极大项。 P Q P∧Q ?P∧Q P∧?Q ?P∧?Q ?P∨?Q ?P∨Q P∨?Q P∨Q 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 1 1 1.4：范式 性质： (1)：没有两个不同的极小项是等价的，且每个极小项只有一组真值指派使该极小项的真值为真，因此可给极小项编码，使极小项为“T”和那组真值指派为对应的极小项编码；如极小项?P∧?Q∧?R只有在P，Q，R分别取真值0，0，0时才为真，所以有时又可用 ( )来表示，又如?P∧Q∧?R也可用 ( )来表示。 (2)：没有两个不同的极大项是等价的，且每个极大项只有一组真值指派，使该极大项的真值为假。因此可给极大项编码，使极大项为“F”的那组真值指派为对应的极大项的编码，如极大项?P∨?Q∨?R只有在P，Q，R分别取真值1，1，1时才为假，所以有时又可用 来表示。 1.4：范式 三个命题变元的真值取值与极小项和极大项的对应对位关系表： P Q R 极小项 极大项 0 0 0 m0= ?P∧?Q∧?R M0= P∨Q∨R 0 0 1 m1= ?P∧?Q∧R M1= P∨Q∨?R 0 1 0 m2= ?P∧Q∧?R M2= P∨?Q∨R 0 1 1 m3= ?P∧Q∧R M3= P∨?Q∨?R 1 0 0 m4= P∧?Q∧?R M4= ?P∨Q∨R 1 0 1 m5= P∧?Q∧R M5= ?P∨Q∨?R 1 1 0 m6= P∧Q∧?R M6= ?P∨?Q∨R 1 1 1 m7= P∧Q∧R M7= ?P∨?Q∨?R 1.4：范式 (3)：任意两极小项的合取必假，任意两个极大项的析取必为真。极大项的否定是极小项，极小项的否定是极大项，即 (4)：所有极小项的析取为永真公式，所有极大项的合取是永假公式，即 1.4：范式 2.主析取范式和主合取范式的存在性和唯一性 定理1.8：任何命题公式的主析取范式和主合取范式存在且唯一，即任何命题公式都有且仅有一个与之等价的主合取范式和主析取范式。 [真值表技术] 例1.15：求命题公式((P∧Q)→R)∧(P?Q)的主析取范式。 例1.16：求命题公式(P→Q)?R的主合取范式。 1.4：范式 利用真值表技术求主析取范式和主合取范式的方法： ① ：选出公式的真值结果为真的所有行，在这样的行中，找到其每一个解释所对应的极小项，将这些极小项析取即可得到相应的主析取范式； ②：选出公式的真值结果为假的所有行，在这样的行中，找到其每一个解释所对应的极大项，将这些极大项合取即可得到相应的主合取范式。 1.4：范式 [公式转换法] 唯一性： 设任一命题公式A有两个主析取范式B和C，则因为A=B， A=C，所以B=C，若B，C是A的(在不计极小项的顺序的情况下)不同的主析取范式，则必有在存在极小项mi，mi只存在于B，C之一中，不妨设mi在B中,而不在C中，因此i之二进制表示B的一个真值解释，而对于C则为真值为假的解释，这与B=C矛盾，所以B和C相同，同理主合取范式也是唯一的。 例1.17：利用公式的等价求G=(P→Q)∧R的主析取范式和主合取范式 1.4：范式 3：主合取范式和主析取范式之间的转换 真值表技术和公式转换方式在求主析取范式和主合取范式各有其优点，在公式中的命题变元较少时时，利用真值表技术更为简单。当命题变元较多时，一般采用公式转换法，而在公式转换中，有时求主析取范式更为方便，而有时求主合取范式更为方便。但两者之间必然有相应的关系。下面介绍一种两者之间的转换方法。 1.4：范式 (1)：已知公式G的主析取范式求公式G的主合取范式的步骤如下： a：求?G的主析取范式，即G的主析取范式中没有出现过的极小项的析取 b：G=?(?G)即是G的主合取范式 即：若 为G的主析取范式，则 为?G的主析取范式，其中 后剩下的极小项。则 为G的主合取范式。 1.4：范式 (2)：已知公式G的主合取范式，求G的主析取范式的步骤如下： a：求?G的主合取范式，即G的主合取范式中没有出现过的极大项的合取 b： G=?(?G)即是G的主析取范式， 即，若