CHAPTER TWO CHAPTER TWO 离散数学Discrete Mathematics Date 1 Discrete Math. , Chen ChenCHAPTER TWO CHAPTER TWO第二章命题逻辑等值演算ChapterTwoPropositionLogicDate 2 Discrete Math. , Chen ChenCHAPTER TWO CHAPTER TWO2.1等值式2.2析取范式与合取范式2.3联结词的完备集等值式定义基本等值式等值演算（置换规则）简单析取（合取）式极大（小）项（主）析（合）取范式真值函数联结词完备集2.4可满足性问题与消解法第二章内容Date 3 Discrete Math. , Chen ChenCHAPTER TWO CHAPTER TWO设公式、中总共含有命题变项p1, p2, pn，但或并不全含有这些变项。如果某个变项未在公式中出现，则称该变项为的哑元。同样可定义的哑元。在讨论与是否有相同的真值表时，应将哑元考虑在内，即将、都看成含所有p1, p2 , pn的命题公式，如果在所有2n个赋值下，与的真值相同，则为重言式。哑
