逻辑运算符A&(~B)的名称

Question

是否有逻辑AND的名称与~第二个变量的negation(),即:

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的第二个变量的否定感兴趣.

Answer 1

难以置信.A&(〜B)称为Material nonimplication,和A | (~B)被称为Material Implication似乎每个可能的二元操作都有一个名称.