参考下面的段落,然后以相同的语言回答后面的问题:  过渡:查尔斯·桑德斯·皮尔斯 (1880年至81年) 表明,单独使用NOR门 (或单独使用NAND门) 可以重现所有其他逻辑门的功能,但他对此的工作直到1933年才出版. 第一个公布的证明是亨利·M·谢弗于1913年,因此NAND逻辑运算有时被称为谢弗冲动;逻辑NOR有时被称为皮尔斯箭头. 因此,这些门有时被称为通用逻辑门.  问题:这些门的正式名称是什么?
全球逻辑门