NOT

in switching algebra, the NOT operation, which is also known as complementation, is defined as follows:
[cite:@kohavi_switching_2010 section 3 switching algebra and its applications]
other notations for NOT are: $\lnot x=\overline x=x'$