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

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