Funtori di Sheffer

Da Wikipedia, l'enciclopedia libera.
Jump to navigation Jump to search

I funtori di Sheffer, sono due operatori logici molto potenti, poiché ciascuno da solo costituisce una base di connettivi. Essi sono stati ideati da Henry Sheffer.

Essi sono generalmente indicati, soprattutto in informatica con NAND, che equivale a "negazione di and", chiamata anche negazione alternativa e con NOR, "negazione di or".

Bibliografia (minima)[modifica | modifica wikitesto]

  • Breve dizionario di logica, D.Palladino, C.Palladino, Carocci, Le Bussole, Roma 2005

Voci correlate[modifica | modifica wikitesto]