A primeira proba publicada foi por Henry M. Sheffer en 1913, polo que a operación lóxica NAND é ás veces chamada de golpe de Sheffer; a NOR lóxica é ás veces chamada de frecha de Peirce.
Portas lóxicas universais