是否有逻辑与的名称与~第二个变量的否定（），即：
A & (~B)
这种操作的真值表是：
0 & (~0) = 0
0 & (~1) = 0
1 & (~0) = 1
1 & (~1) = 0
在更长的位序列中，
A = 10110011
B = 10111001
A & B = 10110001
A &(~B) = 00000010
PS - 我也对第二个变量的否定感兴趣。
问问题
197 次
3 回答
4
极好的。A & (~B) 称为Material nonimplication，而 A | (~B) 被称为Material Implication似乎每一个可能的二元运算都有一个名字。
于 2012-11-26T13:34:15.530 回答
3
集合论项是 B 相对于 A 的“相对补集”。
于 2012-11-26T13:35:56.413 回答
1
我喜欢说得更清楚一点。您也可以通过使用赋值在代码中找到它：
A = A & ~B
或者更紧凑：
A &= ~B
示例：之前：A = 0x0007，B=0x0004 之后：A = 0x0003
它的作用是从A中清除位B。但是相对补码，因此名称差异，您可以将其写为A \ B，就像集合差异一样，也是一个好名称。
于 2018-03-19T00:09:44.337 回答