demorgan's rules used to clean up a boolean