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

modifica

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

modifica

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

modifica

L'única operació possible és la

  • Negació
Negació
a ¬ a
0 1
1 0
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 l'1 o bé 0, respectivament.

Operacions amb 2 operands

modifica

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
a b a+b
0 0 0
0 1 1
1 0 1
1 1 1

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
a b a*b
0 0 0
0 1 0
1 0 0
1 1 1

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
a b a→b
0 0 1
0 1 1
1 0 0
1 1 1
  • 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
a b a/b
0 0 0
0 1 1
1 0 1
1 1 0
  • 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
a b a=b
0 0 1
0 1 0
1 0 0
1 1 1
  • 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
a b a|b
0 0 1
0 1 0
1 0 0
1 1 0
  • 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
a b a†b
0 0 1
0 1 1
1 0 1
1 1 0

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

modifica

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”