correct negation in disjunction in README