名称为逻辑运算符A＆（〜B）

Question

是否有一个名字为逻辑和与所述第二变量的否定（~），即：

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与SEC的否定ond变量也是如此。

Answer 1

不可思议。 A（&（〜B））被称为Material nonimplication，并且A | （〜B）被称为Material implication似乎every possible binary operation has a name。

Answer 2

集合理论项是B相对于A的“相对补充”。