命题逻辑公式的范式析取范式与合取范式析取范式是一个或多个简单合取式的析取•简单合取式是一个或多个文字的合取文字(literal)是命题变量或命题变量的否定合取范式是一个或多个简单析取式的合取•简单析取式是一个或多个文字的析取析取范式举例单个文字既是简单合取式

为了人类的未来，让我们做离散数学上机题吧题目背景李昕峰同学致力于研究可控核聚变技术，每天废寝忘食，呕心沥血，抽不出空写离散作业。你身为李昕峰的同学，为了国家的未来，为了人类科技的发展，为了以后人类能够安全有效地使用核能，你需要帮助李昕峰同学完成他的离散作业。你不需要写很多，

1.1命题1.1.1基本概念断言：一个陈述语句。祈使句、疑问句一定不是断言。命题：要么为真，要么为假，不能二者都是的断言。原子命题(本源命题)：一个命题已不能分解成更简单的命题命题和本源命题常用大写字母P、Q、R表示eg.P:4是质数1.1.2命题联结词复合命题：命题和原子命题可通过

1、命题：能判断真假的陈述句为命题2、命题公式：若在复合命题中，p\q\r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式3、命题的赋值：A为命题公式，p

特别注意:常元和变元  下面的栗子看看就行了:注意:永真和永假式:(重言和矛盾)栗子:    真值表的2个应用: 1判断永真 2判断式子是否等价:  

命题公式分类      重言式   逻辑等价式与逻辑蕴含式逻辑等价式的情况下连接的命题真值相等  一些重要的逻辑等价式      逻辑蕴