5 les relacions: Àlgebra de Boole, Clàusula de Horn, Conjunció lògica, Disjunció, Lògica proposicional.
Àlgebra de Boole
Làlgebra de Boole també anomenada àlgebra booleana, en matemàtica, electrònica digital i informàtica és una estructura algebraica que esquematitza les operacions lògiques.
Nou!!: Clàusula (lògica) і Àlgebra de Boole · Veure més »
Clàusula de Horn
En lògica proposicional, una fórmula lògica és una clàusula de Horn si és una clàusula (disjunció de literals) amb, com a màxim, un literal positiu.
Nou!!: Clàusula (lògica) і Clàusula de Horn · Veure més »
Conjunció lògica
AND En matemàtiques, una conjunció lògica és un operador lògic que resulta veritable si els dos operadors són veritables.
Nou!!: Clàusula (lògica) і Conjunció lògica · Veure més »
Disjunció
Diagrama de Venn de~A \lor B En lògica i matemàtiques una disjunció o disjunció lògica és un connector lògic que consisteix a presentar dues alternatives en una mateixa proposició o frase, i per tant dona com a resultat verdader si una de les dues alternatives és verdadera.
Nou!!: Clàusula (lògica) і Disjunció · Veure més »
Lògica proposicional
La lògica proposicional és una branca de la lògica clàssica que estudia les proposicions o sentències lògiques, les seves possibles avaluacions de veritat i, en el cas ideal, el seu nivell absolut de veritat.
Nou!!: Clàusula (lògica) і Lògica proposicional · Veure més »