de morgan in ruby