I'm not familiar with De Morgan's laws but your explanation of my situation using them made sense (end result the same to me).

For now, can you think of any way this statement can be written (without any special needs) that would potentially be more efficient despite the underlying schema?