Notiuni de algebra logica (booleana)

Bazele acestei algebre au fost puse in 1854 de matematicianul britanic George Boole, deci cu mult timp inainte de inventarea calculatoarelor.

Algebra logica este compusa din:

o multime A cu doua elemente, 0 si 1 (notate si F si T in engleza, respectiv F si A in limba romana);

3 operatii fundamentale:

(notata si cu SAU sau cu OR);

(notata si cu SI sau cu AND);

negarea (notata si cu NOT).

Operatiile sunt definite prin urmatoarele tabele de adevar:

Din tabele de adevar se pot observa urmatoarele reguli:

doua sau mai multe propozitii legate prin SAU dau o fraza adevarata daca cel putin una dintre propozitii e adevarata;

doua sau mai multe propozitii legate prin SI dau o fraza adevarata numai daca toate propozitiile sunt adevarate.

operatia NOT inverseaza valoarea de adevar a propozitiei careia i se aplica.

Algebra logica este utilizata de calculator pentru luarea deciziilor atunci cand exista mai multe variante posibile.