Logica matematica/Calcolo delle proposizioni/Tutti i connettivi: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 103:
Questo è l' elenco completo. Possiamo notarne alcuni che già conosciamo o comunque interessanti.
 
* 01: è la congiunzione AND.
* 07: è la disgiunzione OR.
* 13:è l' implicazione.
* 00:è la costante Falso
Riga 113:
* 14: NAND, cioè la negazione della congiunzione, chiamato anche connettivo di Sheffer.
* 06: XOR, disgiunzione esclusiva, vera se solo una delle due sentenze è vera.
* 08: NOR, la negazione della disgiunzione.
 
Il connettivo NAND è '''funzionalmente completo''', cioè da questo solo connettivo è possibile derivare gli altri.