离散数学结构 第2章 命题逻辑等值演算复习.docVIP

PAGE PAGE 8 第2章 命题逻辑等值演算 第2章 命题逻辑等值演算 主要内容 1. 等值式与等值演算。? 2. 基本的等值式，其中含：双重否定律、幂等律、交换律、结合律、分配律、德·摩根律、吸收律、零律、同一律、排中律、矛盾律、蕴含等值式、等价等值式、假言易位、等价否定等值式、归谬论。? 3. 与主析取范式及主合取范式有关的概念：简单合取式、简单析取式、析取范式、合取范式、极小项、极大项、主析取范式、主合取范式。? 4. 联结词完备集（或完全集)。? 学习要求 1. 深刻理解等值式的概念。? 2. 牢记24个基本等值式，这是等值演算的基础；能熟练地应用它们进行等值演算。? 3. 了解简单析取式、简单合取式、析取范式、合取范式的概念。? 4. 深刻理解极小项及极大项的定义及它们的名称，及名称下角标与成真赋值的关系。? 5. 熟练掌握求公式的主析取范式的方法。? 6. 熟练掌由公式的主析取范式求公式的主合取范式的方法。? 7. 会用公式的主析取范式（主合取范式）求公式的成真赋值、成假赋值。 8. 会将公式等值地化为任何联结词完备集中的公式。  2.1等值式 一、等值式的概念 两 公式什么时候代表了同一个 命题呢？抽象地看，它们的真假取值完全相同时即代表了相同的 命题。 设公式A,B共同含有n个命题变项，可能A或B有