名稱爲邏輯運算符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的「相對補充」。