XSD: Uneindeutigkeit bei (a OR b OR (a AND b))?

[Thoin]

/snip

Aussagenlogisch ist das, wie Frank Dir bereits geschrieben hat, ganz einfach

a OR b

/snip

Schauen wir uns die Verknüpfungstabellen an (ich benutze ! als Abkürzung für NOT)

a | b | !a | !b | a OR b | a OR b OR (a AND b) | !(!a AND !b)

0 | 0 |  1 |  1 |   0    |         0           |       0
0 | 1 |  1 |  0 |   1    |         1           |       1
1 | 0 |  0 |  1 |   1    |         1           |       1
1 | 1 |  1 |  1 |   1    |         1           |       1

/snip

Ja, ich gebe zu, ich habe mein Posting nicht präzise genug formuliert. Inzwischen (dank der Diskussion und Eurer Antworten) habe ich auch gemerkt, dass sich mein Ziel auch mit (a OR b) ausdrücken lässt. Aber es hat ja nichts mit XOR zu tun, wie Frank vorschlug.

Nichtsdestotrotz, was mich ja eigentlich interessiert: Hat jemand eine Idee, wie man das in einer XSD genau so (letzte 3 Spalten Deiner Verknüpfungstabelle) formuliert?

thoin