Look! De Morgan's Theorem just let me reduce those 5 lines of code to 2.
So what? The 5 lines probably represent the set of logical questions that makes sense to a human. Once it's been manipulated by De Morgan's laws, the connection to the problem is lost. (If it was maintained, you wouldn't have needed De Morgan to optimise them.) You have fewer logic operations, but less legible code.
What a silly argument. Optimize the code and use a comment to explain what's happening.