B A->Y 0 0 Y=1 1 0 Y=1 1 1 Y=0 0 1 Y=1 function: Y = !(B && A)