Funtori di Sheffer

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Niente fonti!
Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.
Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

I funtori di Sheffer sono due connettivi 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, chiamato anche operatore di Sheffer o negazione alternativa, equivalente alla "negazione di and", 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]

Estratto da "https://it.wikipedia.org/w/index.php?title=Funtori_di_Sheffer&oldid=136189560"