Modified NOT notation to match notation used in hardware.