9 relazioni: Clausola di Horn, Disgiunzione logica, Forma normale congiuntiva, Forma normale disgiuntiva, Free On-line Dictionary of Computing, Insieme, Letterale, Logica, Università degli Studi di Roma "La Sapienza".
Clausola di Horn
In logica, e in particolare nel calcolo proposizionale, una clausola di Horn è una disgiunzione di letterali in cui al massimo uno dei letterali è positivo.
Nuovo!!: Clausola (logica) e Clausola di Horn · Mostra di più »
Disgiunzione logica
In matematica, la disgiunzione inclusiva o disgiunzione logica (simbolo \vee, che si legge o, talvolta indicato come e/o), è un connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione A\vee B chiamata A o B oppure chiamata A vel B, la quale è vera solo nel caso in cui almeno una delle due proposizioni da cui è formata A e B è vera mentre è falsa quando tutte e due sono false.
Nuovo!!: Clausola (logica) e Disgiunzione logica · Mostra di più »
Forma normale congiuntiva
Nella logica booleana, una formula è in forma normale congiuntiva o congiunta (FNC), indicata anche come CNF (acronimo di Conjunctive Normal Form) se è una congiunzione di clausole, dove le clausole sono una disgiunzione di letterali.
Nuovo!!: Clausola (logica) e Forma normale congiuntiva · Mostra di più »
Forma normale disgiuntiva
Nella logica booleana, una formula è in forma normale disgiuntiva o disgiunta (FND), indicata anche come DNF (acronimo di Disjunctive Normal Form) se è una disgiunzione di clausole, dove le clausole sono una congiunzione di letterali.
Nuovo!!: Clausola (logica) e Forma normale disgiuntiva · Mostra di più »
Free On-line Dictionary of Computing
Il Free On-line Dictionary of Computing (FOLDOC) è un dizionario enciclopedico wiki gratuito on-line incentrato su tutti gli aspetti legati all'informatica.
Nuovo!!: Clausola (logica) e Free On-line Dictionary of Computing · Mostra di più »
Insieme
In matematica, un raggruppamento di oggetti rappresenta un insieme se esiste un criterio oggettivo che permette di decidere univocamente se un qualunque oggetto fa parte o no del raggruppamento.
Nuovo!!: Clausola (logica) e Insieme · Mostra di più »
Letterale
Nella logica proposizionale, un letterale è una formula atomica o la sua negazione.
Nuovo!!: Clausola (logica) e Letterale · Mostra di più »
Logica
La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.
Nuovo!!: Clausola (logica) e Logica · Mostra di più »
Università degli Studi di Roma "La Sapienza"
L'Università degli Studi di Roma "La Sapienza" (anche abbreviato in Sapienza Università di Roma e colloquialmente La Sapienza) è un'università statale italiana fondata nel 1303, fra le più antiche d'Italia e del mondo.
Nuovo!!: Clausola (logica) e Università degli Studi di Roma "La Sapienza" · Mostra di più »