离散数学学习笔记——第二讲——命题逻辑(第一部分)(2.6命题公式分类和等价)

 

1. 基本等价关系(幂等律、交换律、结合律、同一律、零律、分配律、吸收律、矛盾律、排中律、双重否定、德·摩根律、蕴含式、假言易位(逆否命题)、等价式、等价否等等式、归谬论,共16种)

《离散数学学习笔记——第二讲——命题逻辑(第一部分)(2.6命题公式分类和等价)》

《离散数学学习笔记——第二讲——命题逻辑(第一部分)(2.6命题公式分类和等价)》

《离散数学学习笔记——第二讲——命题逻辑(第一部分)(2.6命题公式分类和等价)》

 

2. 利用基本等价关系判断公式类型示例

《离散数学学习笔记——第二讲——命题逻辑(第一部分)(2.6命题公式分类和等价)》

 

3. 利用基本等价关系证明公式等价示例

《离散数学学习笔记——第二讲——命题逻辑(第一部分)(2.6命题公式分类和等价)》

 

4. 应用示例1——开关电路的简化

《离散数学学习笔记——第二讲——命题逻辑(第一部分)(2.6命题公式分类和等价)》

 

5. 应用示例2——逻辑电路的化简

《离散数学学习笔记——第二讲——命题逻辑(第一部分)(2.6命题公式分类和等价)》

 

6. 应用示例3——智力游戏

《离散数学学习笔记——第二讲——命题逻辑(第一部分)(2.6命题公式分类和等价)》

 

 

 

 

    原文作者:预见未来to50
    原文地址: https://blog.csdn.net/hpdlzu80100/article/details/101319329
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞