Yeah, in the ckt of post #3, neither one will turn on if both signals are true. That actually
is an XOR, I believe. However, I also think it will work if the lines powering the relays are
switched through the normally-closed contacts, rather than by the inputs. I believe this is
what the previous post is saying [!!].
Also, I'm not sure what official logic function that corresponds to, if any.