Versione delle 10:16, 10 lug 2017 modifica Horcrux (discussione \| contributi) Amministratori dell'interfaccia, Amministratori 168 740 modifiche →Matematica ← Differenza precedente		Versione delle 10:20, 10 lug 2017 modifica annulla Horcrux (discussione \| contributi) Amministratori dell'interfaccia, Amministratori 168 740 modifiche →Logica: +Forma normale di Skolem Differenza successiva →
Riga 10: '''[[Forma normale negativa]]''' '''[[Forma normale prenessa]]''' *'''[[Skolemizzazione\|Forma normale di Skolem]]''' == Informatica ==

Forma normale: differenze tra le versioni