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

[Vinzenz Mai]

Hallo

Hallo thoin,

a
OR
b
OR
a AND b

Ja, das ist auch mein Problem: Ich komme der Lösung immer nur nahe, aber ganz erreichen tu ich sie nicht. Aber ich kann mir nicht vorstellen, dass das nicht gehen sollte. Eigentlich ist das doch nichts ungewöhnliches - aussagenlogisch ist das doch nur ein ganz normales OR. *sigh*

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

a OR b

Dies kannst Du selbstverständlich auch komplizierter schreiben:

a
OR
b
OR
a AND b

oder

(a AND NOT b)
OR
(NOT a AND b)
OR
(a AND b)

oder

NOT (NOT a AND NOT b)

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

1           2         3
a | b | !a | !b | a AND !b | !a AND b | a AND b | 1 OR 2 OR 3
---------------------------------------------------------------
0 | 0 |  1 |  1 |    0     |    0     |    0    |      0
0 | 1 |  1 |  0 |    0     |    1     |    0    |      1
1 | 0 |  0 |  1 |    1     |    0     |    0    |      1
1 | 1 |  1 |  1 |    0     |    0     |    1    |      1

Wenn Du drei disjunkte Fälle benötigst, könnte Dir vielleicht letzteres Konstrukt helfen.

Freundliche Grüße

Vinzenz