Namen für den logischen Operator A & (~ B)

Question

Gibt es einen Namen für die logische UND mit der Negation (~) der zweiten Variablen, das heißt:

A & (~B) 

Die Wahrheitstabelle für einen solchen Betrieb ist:

0 & (~0) = 0 
0 & (~1) = 0 
1 & (~0) = 1 
1 & (~1) = 0 

Und in längeren Sequenzen von Bits,

A  = 10110011 
B  = 10111001 
A & B = 10110001 
A &(~B) = 00000010 

PS - ich bin daran interessiert, mit OR mit der Negation des sec Variable auch.

Answer 1

Unglaublich. A & (~ B) heißt Material nonimplication und A | (~ B) heißt Material implication Scheint, dass every possible binary operation has a name.

Answer 2

Der satztheoretische Begriff ist das "relative Komplement" von B in Bezug auf A.