目录

1.真值表

1.真值表的构造​编辑

2.真值表的性质

3.成真和成假指派 

2.等价关系

1.基本等价关系 ​

3.等价置换定理

4.重言式与蕴含式

1.可满足式

2.蕴含式

​3.基本的蕴含式

5.其他联结词

1.异或

2.条件否定

​ 3.与非

6.或非

7.其他联结词真值表