什么是德摩根定理
德摩根定律是关于命题逻辑规律的一对法则,奥古斯塔斯德摩根首先发现了在命题逻辑中存在着下面这些关系:非P且Q等于非P或非Q,非P或Q等于非P且非Q。
德摩根定律在数理逻辑的定理推演中,在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。其发现影响了乔治布尔从事的逻辑问题代数解法的研究,这巩固德摩根作为该规律的发现者的地位,尽管亚里士多德也曾注意到类似现象,且这也为古希腊与中世纪的逻辑学家熟知。
德摩根定律是关于命题逻辑规律的一对法则,奥古斯塔斯德摩根首先发现了在命题逻辑中存在着下面这些关系:非P且Q等于非P或非Q,非P或Q等于非P且非Q。
德摩根定律在数理逻辑的定理推演中,在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。其发现影响了乔治布尔从事的逻辑问题代数解法的研究,这巩固德摩根作为该规律的发现者的地位,尽管亚里士多德也曾注意到类似现象,且这也为古希腊与中世纪的逻辑学家熟知。