16 les relacions: Àlgebra de Boole, Bit de paritat, Conjunció lògica, Connectiva lògica, Diagrama de Venn, Disjunció, Funció booleana, Lògica de primer ordre, Lògica proposicional, Lleis de De Morgan, Modus tollendo ponens, Operació bit a bit, Operació matemàtica, Porta lògica, Stanford Encyclopedia of Philosophy, Valor veritable.
À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!!: Disjunció exclusiva і Àlgebra de Boole · Veure més »
Bit de paritat
Bit de paritat és un mètode per a la detecció d'errors de transmissió o emmagatzemament de dades.
Nou!!: Disjunció exclusiva і Bit de paritat · 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!!: Disjunció exclusiva і Conjunció lògica · Veure més »
Connectiva lògica
En lògica, les connectives lògiques són les eines que permeten construir enunciats o fórmules a partir dels àtoms.
Nou!!: Disjunció exclusiva і Connectiva lògica · Veure més »
Diagrama de Venn
Diagrama de Venn que mostra la intersecció de dos conjunts. Els diagrames de Venn són il·lustracions usades en la branca de les matemàtiques i lògica de classes anomenada teoria de conjunts.
Nou!!: Disjunció exclusiva і Diagrama de Venn · 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!!: Disjunció exclusiva і Disjunció · Veure més »
Funció booleana
Es denomina funció lògica o booleana aquella funció matemàtica les variables de la qual són binàries i el resultat es calcula aplicant-los els operadors de l'àlgebra de Boole: les portes lògiques, porta O (OR), suma lògica (+), porta I (AND), producte lògic (·) o negació (NOT).
Nou!!: Disjunció exclusiva і Funció booleana · Veure més »
Lògica de primer ordre
La lògica de primer ordre, també anomenada lògica de predicats o càlcul de predicats, és un sistema formal dissenyat per estudiar la inferència en els llenguatges de primer ordre.
Nou!!: Disjunció exclusiva і Lògica de primer ordre · 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!!: Disjunció exclusiva і Lògica proposicional · Veure més »
Lleis de De Morgan
Representació gràfica de les lleis de De Morgan Les lleis de De Morgan són una part de la lògica proposicional i analítica, i va ser creada per Augustus De Morgan (Madurai, 1806 - Londres, 1871).
Nou!!: Disjunció exclusiva і Lleis de De Morgan · Veure més »
Modus tollendo ponens
En lògica, el sil·logisme disjuntiu, històricament conegut com a modus tollendo ponens (en llatí, 'manera que negant afirma') o MTP, és una forma vàlida d'argument: Per exemple, un raonament que segueix la forma del sil·logisme disjuntiu podria ser: Una altra manera de presentar el sil·logisme disjuntiu és: I encara una altra manera és a través de la notació del càlcul de seqüent: A lògica proposicional la seva representació seria la següent: \supset q.
Nou!!: Disjunció exclusiva і Modus tollendo ponens · Veure més »
Operació bit a bit
Una operació bit a bit (en anglès bitwise operation) opera sobre nombres binaris a nivell dels seus bits individuals.
Nou!!: Disjunció exclusiva і Operació bit a bit · Veure més »
Operació matemàtica
En el seu significat més simple en matemàtiques i lògica, una operació és una acció o procediment que produeix un valor nou a partir d'un o més valors d'entrada.
Nou!!: Disjunció exclusiva і Operació matemàtica · Veure més »
Porta lògica
Porta lògica I (AND) utilitzant un relé. Una porta lògica és un component electrònic que es pot utilitzar per conduir l'electricitat basada en una regla.
Nou!!: Disjunció exclusiva і Porta lògica · Veure més »
Stanford Encyclopedia of Philosophy
L'Enciclopèdia de Filosofia de Stanford (SEP) és una enciclopèdia en línia, creada i mantinguda per la Universitat de Stanford, que combina elements de publicacions acadèmiques i d'enciclopèdies en línia de lliure accés.
Nou!!: Disjunció exclusiva і Stanford Encyclopedia of Philosophy · Veure més »
Valor veritable
En lògica, un valor veritable és un valor que indica en quina mesura una declaració és veritat.
Nou!!: Disjunció exclusiva і Valor veritable · Veure més »