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 111:
* 14: NAND, cioè la negazione della congiunzione.
* 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.
| |||