《notとandから》論理演算の一で否定論理積。または、コンピューターで、NAND回路