四川大学离散数学第36讲总复习一.ppt

* 计算机学院 * 循环的积 * 计算机学院 * 例12 　如图(a)(b)所示的图，求其所有元素的补元(如果有的话)。 图（a) 图（b) * 计算机学院 * 对于图(a)（这里设x的补元为x’） 0＝1，1＝0，a＝e，d＝c，d＝e， c＝d，e＝a，e＝d，b无补元。 对于图(b) 0＝1，　1＝0，　a＝d，　a＝c， b＝d，　b＝c，　c＝a，　c＝b， d＝a，　d＝b 因此图(a)不是有补格， 图(b)是有补格。 计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn Tel : * * 计算机学院 * * 计算机学院 * 第一章 一、基本概念 命题、命题常元、命题变元、命题的解释或赋值、原子命题(简单命题)、复合命题、否定联结词、合取、析取、可兼或、不可兼或、条件、双条件、常值命题、命题变量、命题公式、命题公式的解释、真值表、永真公式(重言式)、永假公式(矛盾式，不可满足公式)、可满足公式、公式的等价、对偶（公）式、对偶原理、子句、短语、析取范式、合取范式、主析取（主合取）范式、极小项、极大项 * 计算机学院 * 二、基本要求 1、深刻理解五种常用联结词的涵义，并能准确地应用它们将基本命题及复合命题符号化。 2、熟练地写出给定命题公式的真值表 3、牢记基本等价式的名称及