A=B es igual a NXOR(J,K) * F(A,B)