在逻辑的基本知识中只使用真(true)和假(false)两个值进行运算的。命题非真及假,非假及真
但是我们在程序中经常会出现崩溃,无线循环,抛出异常等情况,得不到true也得不到false中的任何一个值
所有在true和false的基础之上,又新增加了一个叫undefined的值。即叫做未定义的值
带条件的逻辑与 (&&)
- 不包含undefined的行,和逻辑与A and B
- A为true的时候,A&&B和B相等
- A为false的时候,A&&B恒为false
- A为undefined时候,A&&B恒为undefined
在判断A&&B的真假的时候,应该根据条件A来判断是否需要看条件B
注意:A&&B并不等于B&&A,因此这里交换法则是不成立的
带条件的逻辑或(||)
在A||B中时候
- 如果A为true的时候,A||B是必为true的,A为false的时候,A||B的值等于B
三值逻辑中的否定(!)
!A的时候
- A为true,!A为false
- A为false, !a为true
- A为undefined的时候,!A还是为undefined
三值逻辑的德·摩根定律
- (!A) || (!B) = !(A&&B)
- (!A) && (!B) = !(A||B)
逻辑的各种表达形式
- 逻辑表达式
- 文氏图
- 卡诺图
- 真值表
网友评论