Lògica binària

La lògica binària estableix relacions lògiques entre dos valors possibles, associats als conceptes de "vertader" i "fals" o "1" i "0".
El principi de doble semàntica afirma que cap proposició és, alhora, vertadera i falsa. Una operació lògica assigna un valor (vertader o fals) a la combinació de condicions (certes o falses, apagades o enceses, obertes o tancades, etc.) d'un o més factors. La lògica binària treballa tant amb variables binàries com també amb operacions lògiques.

A continuació es descriuen les diferents operacions lògiques:

Semàntica algebraica 

La semàntica algebraica de lògica clàssica directament dona suport a bivalència en el cas finit: perquè cada àlgebra de Boole finita sigui isomorfa a una àlgebra de powerset, els taula veritativa dos valorats expliquen sobre (finitary) lògica clàssica proposicional a la història sencera.
El cas d'infinitary és més delicat, tanmateix. El teorema de representació de Pedra ens diu que en el cas general, àlgebres booleanes són subàlgebres de powerset algebras. Això significa que la intuïció que la lògica clàssica és al voltant d'un conjunt d'alternatives veritables falses independents no està bé, però està projectant una independència entre alternatives Booleanament valorades que no té una base en semàntica.

Principi de dualitat 
Totes les expressions booleanes es mantenen vàlides si s'intercanvien els operadors "+" i "·", i els elements "0" i "1".

Així, per obtenir una expressió algebraica dual, s'intercanvien els operadors AND i OR i se substitueixen uns per zeros i al revés.

És la base de la informàtica, ja que els 0 i els 1 es poden interpretar com a l'absència o l'existència d'un impuls elèctric determinat. Val a dir, que no cal que sigui l'absència o existència d'un corrent, senzillament han de ser valors diferents d'intensitat.

Operacions amb un sol operand 
L'única operació possible és la
 Negació

Donat un valor binari a, la seva negació ve definida per l'anterior taula de veritat

La logica binaria usa variables binàries i operacions lógiques. Les variables només poden ser dos valors discrets: V (verdader/cert) o bé F (fals), una notació numerica alternativa pot ser l1 o bé 0, respectivament.

Operacions amb 2 operands 
Les més importants i les més usades a la pràctica del càlcul són les dues següents:

 Suma lògica o Unió

També coneguda com a OR binària. Correspon a la conjunció O: el resultat és cert si ho és l'un O l'altre dels operands.

Donats dos valors binaris a i b, la seva suma o unió ve definida per la següent taula de veritat

Resumint, el resultat serà sempre 1 si almenys una de les dues variables té per valor 1. Nota: Estrictament, entre les operacions de multiplicació i suma lògiques (AND i OR respectivament), només una de les dues es podria considerar fonamental, ja que una sempre es pot obtenir de l'altre combinades amb l'operació de negació (NOT) segons les lleis de Morgan. D'aquesta manera s'aconsegueix la simplificació de moltes operacions lògiques i facilita la resolució de sistemes.

 Multiplicació o Intersecció

També coneguda com a AND binària. Correspon a la conjunció I: el resultat és cert si ho és l'un I l'altre dels operands.

Donats dos valors binaris a i b, la seva multiplicació o intersecció ve definida per la següent taula de veritat

Com que hi ha 16 maneres possibles de combinar els uns i zeros a la columna de resultats, es poden definir 16 operacions binàries, tot i que no totes tenen la mateixa importància o interès. Les següents són les més importants després de les ja indicades; s'usen molt sovint per definir la funció a realitzar per un circuit (portes lògiques)

 Implicació

Correspon al concepte clàssic d'implicació o condició suficient: Si a és cert, b també ho és.
La implicació es pot expressar amb les operacions NOT i OR: a→b = |a + b

Donats dos valors binaris a i b, la seva implicació ve definida per la següent taula de veritat

 Suma binària o Diferent

També coneguda com a OR exclusiu. Correspon a la taula de la suma aritmètica si els sumands estan escrits en base 2, i es defineix dient que el resultat és cert si ho és l'un O l'altre dels operands, però no tots dos. Observeu que això vol dir que els dos operands han de ser diferents.

Donats dos valors binaris a i b, l'OR exclusiu ve definida per la següent taula de veritat

 Igual o NOR exclusiu

És la negació de l'OR exclusiu: el resultat és cert si tots dos operands són certs o tots dos falsos, és a dir són iguals.

Donats dos valors binaris a i b, la seva igualtat ve definida per la següent taula de veritat

 NOR o Ni

És la negació de l'OR: el resultat és cert només si cap dels dos operands és cert, és a dir, no és cert NI l'un NI l'altre.

Donats dos valors binaris a i b, l'operació NI ve definida per la següent taula de veritat

 NAND

És la negació de l'AND: el resultat és cert només si algun dels dos operands és fals, és a dir no són tots dos certs.

Donats dos valors binaris a i b, l'operació NAND ve definida per la següent taula de veritat

Cal dir que totes aquestes operacions es poden escriure les unes en funció de les altres i usualment s'usen només les tres primeres: NO, OR, i AND. Però es poden posar de forma més condensada (encara que evidentment menys pràctica); en particular es pot treballar únicament amb l'OR exclusiu.

El coneixement a fons de les diverses comportes lògiques és indispensable en el treball d'investigació, estudis d'enginyries i reparacions electròniques de laboratori.

Les regles de la manipulació formal d'aquests signes constitueixen l'anomenada Àlgebra de Boole

Axiomes 
Propietats que defineixen les regles precises per transformar unes expressions en altres equivalents. Els axiomes són propietats primitives.

Propietat commutativa

 
 

Propietat associativa

 
 

Propietat distributiva

 
 

Altres propietats
 
 
 
 
 
 
 
 
 
 
 
 
 

Lleis de De Morgan
 
 

	 
Operadors no Fundamentals XOR, XNOR e IMPLIES

Els operadors no fundamentals poden expressar-se a partir de los operadors fundamentals

 XOR:

 
 
 
 

 XOR es coneix com a “OR exclusiva”

 XNOR:

 
 
 
 

 
 XNOR equival a “sí i només si”

 IMPLIES:

 
 
 
 
 IMPLIES equival a “si llavors”

 

Informàtica teòrica
Sistemes lògics
Àlgebra booleana