Cin = in[0]; A = in[1]; B = in[2]; Cout = (A and B) or (A and Cin) or (B and Cin); S = ((not Cout) or (A and B and Cin)) and (A or B or Cin); out[0] = Cout; out[1] = S;