是否有第二个变量的否定（~）的逻辑AND的名称，即：
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 - 我也对OR感兴趣，否定了第二个变量。
答案 0 :(得分：5)
难以置信。 A＆amp; （~B）称为Material nonimplication和A | （~B）被称为Material implication似乎every possible binary operation has a name。
答案 1 :(得分：4)
集合理论术语是B相对于A的“相对补充”。
答案 2 :(得分：1)
我喜欢称之为更清楚。你也可以在代码中找到它 使用作业形式：
A = A＆amp; 〜乙
或更紧凑：
A＆amp; = ~B
示例：之前：A = 0x0007，B = 0x0004 之后：A = 0x0003
它具有清除A中的B位的效果。但相对而言 补充，因此名称差异，你可以写 它如下A \ B，就像设定的差异一样，也是一个好名字。