离散数学(0x3).pptVIP

* P∧Q∨R ? m1∨m3∨m5∨m6∨m7 这就给出了利用真值表求主析取范式的方法，也是我们常用的方法。 P Q R P∧Q∨R mi 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 m1 m3 m5 m6 m7 那么，公式 A ? P∧Q∨R 直接等价于小项的析取： * 其中 m1 ? ┐P∧┐Q∧R m3? ┐P∧Q∧R m5 ? P∧┐Q∧R m6? P∧Q∧┐R m7 ? P∧Q∧R ; 那么, 我们就得到公式的析取范式： P∧Q∨R ?(┐P∧┐Q∧R ) ∨( ┐P∧Q∧R) ∨( P∧┐Q∧R )∨(P∧Q∧┐R)∨( P∧Q∧R) * 定义 1.3 -6 在n个变元的基本和中, 若每一个变元与其否定不同时存在, 而二者之一必出现一次且仅出现一次, 则这种基本和叫极大项。 极大项是由命题变元与命题变元的否定通过析取(∨类似集合运算中的∪ ，运算后使集合变大,有A ? A∪B ….)构成的命题公式，但是极大项中的命题变元和命题变元否定不 * 同时存在，