"logical disjunction" Deutsche bedeutung