And finally, the inevitable question about why you want to do that anyway?
Interestingly this is not as straight forward as one might assume. In have studied cognitive development in children for the purpose of AI and it turns out that thinking in negation is a higher order cognitive function that children develop much later - This of course translates into the effort that one needs to put in when analyzing logic ( or code ). ( Basic papers on Google Search )
In terms of programmers I have actually seen, even experienced programmers, ( over 10,000 hours of programming ) make mistakes when reading other peoples code that contains negation of large expressions. Of course they can write them very easily.
I have seen a similar argument put forth in the book Perl Best Practices