开发者

How to understand De Morgan Laws Boolean Expression

开发者 https://www.devze.com 2023-03-08 03:54 出处:网络
I got screwed when trying to understand this expression. I\'ve thought several times but I cant get the meaning.

I got screwed when trying to understand this expression. I've thought several times but I cant get the meaning.

  1. ! (p || q) is equivalent to !p && !q For this one, somehow I can comprehend a little bit. My understanding is " Not (p q) = not p and not q" which is understandable

  2. ! (p && q) is equivalent to !p || !q For the second, I'm totally got screwed. How come

    My understanding is " Not (p q) = Not p or Not q " . How come and and or can be equivalent each other? as for the rule in the truth table between &a开发者_Python百科mp;& and || is different.

That's how I comprehend each expression, perhaps I have the wrong method in understand the expression. Could you tell me how to understand those expressions?


You can use a Truth table to see how the two expressions are equal. Like This:


!(P || Q) = !P && !Q 

_________________________________________________
   P   Q   P || Q   !(P||Q)   !P   !Q   !P && !Q
_________________________________________________
   1   1      1         0      0    0       0
   1   0      1         0      0    1       0
   0   1      1         0      1    0       0
   0   0      0         1      1    1       1
_________________________________________________

Note that the column labeled !(P||Q) is the same as the column labeled !P && !Q. You can work this from the left most column where we set the initial values for P and Q. Then work out each column towards the right.


!(P && Q) = !P || !Q 

_________________________________________________
   P   Q   P && Q   !(P&&Q)   !P   !Q   !P && !Q
_________________________________________________
   1   1      1         0      0    0       0
   1   0      0         1      0    1       1
   0   1      0         1      1    0       1
   0   0      0         1      1    1       1
_________________________________________________



Think of it in terms of the Red Toyota.

Let p = "The car is red"

Let q = "The car is a Toyota"

! ( p && q ) means "The car is not a red Toyota"

Which is the same as saying:

!p || !q "it's not red, or (inclusive) it's not a Toyota" , right?

0

精彩评论

暂无评论...
验证码 换一张
取 消