标签:ABA 逻辑 相等 undefined 几种 程序员 && 三值
基本概念:
逻辑是消除歧义的工具,在编程过程中发挥着重要的作用。在考虑的过程中,确认是否有“遗漏”(完整性)和“重复”(排他性)是相当重要的。
命题:能够判断对错的陈述句。
逻辑非:不是A( not A)
A | A |
true | false |
false | true |
双重否定(等于肯定):不是 不是A(not not A)
A | A | A |
true | false | true |
false | true | false |
逻辑与:A并且B(A and B)
A | B | A B |
true | true | true |
false | true | false |
true | false | false |
false | false | false |
逻辑或:A或者B(A or B)
A | B | A B |
true | true | true |
false | true | true |
true | false | true |
false | false | false |
异或:A或者B(但不都满足)
A | B | A B |
true | true | false |
true | false | true |
false | true | true |
false | false | false |
相等:A和B相等
A | B | A=B |
true | true | true |
false | true | false |
true | false | false |
false | false | true |
蕴涵:若A则B
A | B | AB |
true | true | true |
true | false | false |
false | true | true |
false | false | true |
注意,生活中提到的如果A是真的,B也是真的;A是假的,B也是假的。体现的是逻辑A=B。
这里提到的AB是指如果A是真的,B也是真的;如果A是假的,B是真是假都可以,不受影响。
德摩根定律:
(A)(B)=(A B)
(A)(B)=(A B)
三值逻辑:包括未定义(undefined)的逻辑。
带条件的逻辑与:(A && B)
A | B | A&&B |
true | true | true |
true | false | false |
true | undefined | undefined |
false | true | false |
false | false | false |
false | undefined | false |
undefined | true | undefined |
undefined | false | undefined |
undefined | undefined | undefined |
注意,不包含undefined时,A&&B和AB相等。
带条件的逻辑或:(A || B)
A | B | A || B |
true | true | true |
true | false | true |
true | undefined | true |
false | true | true |
false | false | false |
false | undefined | undefined |
undefined | true | undefined |
undefined | false | undefined |
undefined | undefined | undefined |
注意,不包含undefined时,A || B和A B相等。
三值逻辑中的否定(!)
A | !A |
true | false |
false | true |
undefined | undefined |
三值逻辑的德摩根定律
(!A)||(!B)=!(A && B)
(!A)&&(!B)=!(A || B)
标签:ABA,逻辑,相等,undefined,几种,程序员,&&,三值 来源: https://blog.csdn.net/weixin_46065980/article/details/121604288
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。