Logical design theory of NOR gate networks with no complemented inputs | IEEE Conference Publication | IEEE Xplore