logical-operators - 論理演算子の名前 A & (~B)

Question

~2 番目の変数の否定 ( ) を含む論理 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 - 2 番目の変数を否定する OR にも興味があります。

Answer 1

信じられない。A & (~B) はMaterial nonimplicationと呼ばれ、A | (~B) はMaterial implicationと呼ばれ、すべての可能な二項演算には名前があるようです。