antivalente disjunktion: nicht gefunden