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

目录 1.联结词及对应的真值指派 2.最小全功能联结词集 3.对偶式 4.范式 1.析取范式 5.范式存在定理  6.小项 1.联结词及对应的真值指派     2.最小全功能联结词集    3.对偶式     4.范式 1.析取范式     5.范式存在定理        6.小项

2.1 联结词 联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词语 2.1.2 否定联结词 设P为任意一命题，复合命题“非P”（或P的否定）称为P的否定式，记做 读作“非P”真)，┐称为否定联结词 ┐P的逻辑关系为P不成立。┐P为真当且仅当P为假。 命题P的真值与其否定┐P的真值之间的关系。 P┐P0110   2.1.3 合取联结词  设P