[susam]

De Morgan's laws! I am sure people use it routinely to simplify complicated boolean expressions while writing code or mentally simplify complicated boolean expressions while reading code.

[Jugurtha]

And then you can probably reduce it with a Karnaugh map. It's pretty neat.