德-摩根定律_程序员数学入门_day52

什么是德摩登定律

通过运用德摩根定律能够将逻辑与的表达式和逻辑或的表达式进行互相换转换。

德摩登定律的一些转换方式

假设有命题A，命题B，德摩登定律有下面的转换公式

• (not A) or (not B) 可以改写为 not (A or B)
• (not A) and (not B) 可以改写为 not (A or B)
• 用文字来表述就是
  • 非A 或者 非B，和非 "A与B" 是等价的
  • 非A 并且 非B，和非 "A或B"是等价的

对偶性

了解了逻辑表达式中的非偶性，就能更加简单的记住德摩登定律了

• 在逻辑表达式中分别将true和false，A和非A，或者和并且进行互换，就能得到改逻辑的表达式的否定式子
• true <-> false
• A <-> not A
• and <-> or