美文网首页每天学一点新知识
包含未定义的逻辑的逻辑_程序员数学入门_day53

包含未定义的逻辑的逻辑_程序员数学入门_day53

作者: FANDX | 来源:发表于2020-03-07 22:28 被阅读0次

在逻辑的基本知识中只使用真(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)

逻辑的各种表达形式

  • 逻辑表达式
  • 文氏图
  • 卡诺图
  • 真值表

相关文章

网友评论

    本文标题:包含未定义的逻辑的逻辑_程序员数学入门_day53

    本文链接:https://www.haomeiwen.com/subject/uiykdhtx.html