... , you are correct. The OR is inclusive in this case ... an "at least one" type of OR)
For the original ... at least one of N or U are out"
... rule to G-->N or U, then at least ... one of N or U would have to ... . So, N in, or U in, or both N and U ...