Lecture 7 NOT implementation