目录 1.真值表 1.真值表的构造​编辑 2.真值表的性质 3.成真和成假指派  2.等价关系 1.基本等价关系 ​ 3.等价置换定理 4.重言式与蕴含式 1.可满足式 2.蕴含式 ​3.基本的蕴含式 5.其他联结词 1.异或 2.条件否定 ​ 3.与非 6.或非 7.其他联结词真值表 1.真值表  1.真值表的构造 2.真值表的性质