一.五个联结词
否定
合取
析取
蕴含
等价
1.文氏图分析
2.对于蕴含关系，只需要记住，只有前件为真后件为假，命题方为假
二.命题公式与真值表
1.真值表列表方法，左元素，右命题公式
2.基本等价关系*
这些等价关系将帮助我们在后面的内容中，用于简化公式为主合取（析取）公式
故最重要的内容是
德摩根律
蕴含式
等价式
常用的方法还有
双重否定
等价否定
假言异位
用于处理否定情况。
3.几个重要的定理
3.1永真充要等价
3.2带入定理
3.3替换定理
三个定理主要用于等价代换。
四.完备集
将公式中联结词种类数压缩到最小。
典型：布尔代数系统。
五.标准型范式
析取式并
合取式交
析取合取范式中只含有析取式或合取式
极小项：命题变元由合取联结
极大项：命题变元由析取联结
每个命题变元，只存在其本身或其否的情况中的一种，故每个命题均有2ⁿ个极大项与极小项。
又因为极小项析取联结，故由相同命题变元组成的极小项集合中，任何两个极小项都不等价。（要清楚等价的概念，就是两个极小项至少有一个变元互相取否，所以一定在某个取值下，真值不同）
同样，我们可以知道，
所有极小项的析取为永真公式（必有一极小项为真）
所有极大项的合取为永假公式（必有一极大项为假如全否的极大项为真，全真的极大项必为假）
主合取范式：外析取内合取
主析取范式：外合取内析取
求法：
1.外部有蕴含联结词，蕴含式转为析取
2.用德摩根律将内部的合取析取按需求转化
3.真值表技术
其中，分解式每个变元取肠取否与变元真假有关。列出真值表
列出子公式分解表，由于主取公式永真或者永假。
极小项分解表，取仅有一组解释为真的情况，做析取。
极大项分解表，取仅有一组解释为假的情况，做合取。
以上其实就是映射。表3.5.4
六.公式转换永真永假
