and-not circuit