more ruby de morgan examples