A B->C CN
0 0 C=0 CN=1 
1 0 C=HIGH-Z CN=HIGH-Z 
1 1 C=1 CN=0 
0 1 C=HIGH-Z CN=HIGH-Z 
function: C = !(!A && !B) function: CN = !(A && B)