// comb_mixed: series/parallel with a negated (XIO) contact
OTE(Y) := (XIC(A) * XIO(B)) + XIC(C) ;