Ich habe nun einen Satz gefunden, den ich nicht ganz verstehe, aber vlt mein Problem lösen würde.
Nach dem Dist, habe ich ja:
(x∈X oder x∈Y)und(x∈X oder x∉X)
Nun sagt der Satz ohne anwendung von wahr oder falsch
K und (x∈J oder x∉J) genau dann wenn K
Darf ich diesen hier anwenden?
Ich habe ja keine Menge K sondern ein XoderY