Search code examples
logical-operatorsnomenclaturetruthtable

Name for the logical operator A & (~B)

Is there a name for logical AND with the negation (~) of the second variable, i.e:

A & (~B)

The truth table for such operation is:

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

And in longer sequences of bits,

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

PS - I'm interested with OR with the negation of the second variable, too.

Solution

  • Incredible. A & (~B) is called Material nonimplication, and A | (~B) is called Material implication Seems that every possible binary operation has a name.