disjunction elimination - Spanisch Englisch Wörterbuch