Ich kenn mich mit der Schreibweise nicht aus, aber es müßte !X xor !Y sein, was gleichbedeutend mit X xor Y ist, oder nur mit and und or (X+Y)!(XY) oder wie auch immer man das schreibt... :)