Forma normale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Fix spazi, en dash, {{Disambigua}} |
Wikificazione parziale |
||
Riga 6:
=== Logica ===
*'''[[Forma canonica (algebra di Boole)|Forma normale]]'''
**'''[[Forma normale congiuntiva]]''' – espressione minima di una funzione booleana, costituita da una somma di termini prodotto
**'''[[Forma normale disgiuntiva]]''' – espressione minima di una funzione booleana, costituita da un prodotto di termini somma
*'''[[Forma normale negativa]]''' – espressione di una funzione booleana i cui tutti e soli gli atomi sono negati
*'''[[Forma normale prenessa]]'''
*'''[[Skolemizzazione|Forma normale di Skolem]]'''
| |||