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