x离散数学201024.pptVIP

* * 两个命题变元的所对应极小项真值表 P Q ┐P∧┐Q ┐P∧Q P∧┐Q P∧Q 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 1 注意：（1）没有等价的两个极小项； （2）使该极小项的真值为真的指派是唯一的； （3）使极小项为真的那组指派为对应极小项的编码； （4）命题变元与1对应，命题变元的否定与0对应。 ?Ｐ∧?Ｑ→{0、0}为真→ {0 0} → m00(m0) ?Ｐ∧Ｑ→{0 1}为真→{0 1} → m01(m1) Ｐ∧ ?Ｑ→{1 0}为真→{1 0} → m10(m2) Ｐ∧Ｑ→{1 1}为真→{1 1} → m11(m3) * * 两个命题变元的所对应极大项真值表 P Q ┐P∨┐Q ┐P∨Q P∨┐Q P∨Q 0 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 1 1 注意：（1）没有等价的两个极大项； （2）使该极大项的真值为假的指派是唯一的； （3）使极大项为假的那组指派为对应极大项的编码； （4）命