La unua publikigita pruvo estis de Henry M. Sheffer en 1913, do la NAND-logika operacio foje estas nomata Sheffer-streko; la logika NOR foje estas nomata sago de Peirce. Sekve, ĉi tiuj pordegoj foje estas nomataj universalaj logikaj pordegoj. Demando: Kio estas la pli formala nomo por ĉi tiuj pordegoj?
universalaj logikaj pordegoj