标记: PBNIGMA 与非门