Algebra Booleana

Álgebra Booleana
O nome Álgebra Booleana é em homenagem ao matemático inglês George Boole que em 1854, publicou um livro clássico. Uma investigação das leis do pensamento sobre as quais são baseadas as teorias matemáticas da lógica e das probabilidades. O propósito estabelecido por Boole era o de realizar uma análise matemática da lógica.

A Álgebra de Boole surgiu inicialmente por ter relações com os problemas que apareceram no projeto de circuitos de chaveamento com relês em 1838, Claude E. Shannon que era assistente de pesquisa no departamento de engenharia elétrica no MIT, em uma versão de sua tese para o grau de mestre de ciências que foi publicada sob o título A Symbolic Analysis of Relay and Switching Circuits. Este artigo apresentava um método para representação de qualquer circuito consistindo de combinações de chaves e réles por um conjunto de expressões combinações matemáticas, e foi desenvolvido um cálculo para manipular estas expressões. O cálculo usado baseava-se comprovadamente na álgebra booleana.

Uma álgebra Booleana pode ser definida com um conjunto de operadores e um conjunto de axiomas, que são assumidos verdadeiros sem necessidade de prova. Em 1854, George Boole introduziu o formalismo que até hoje se usa para o tratamento sistemático da lógica, que é a chamada Álgebra Booleana. Em 1938, C. E. Shannon aplicou esta álgebra para mostrar que as propriedades de circuitos elétricos de chaveamento podem ser representadas por uma álgebra Booleana com dois valores. Diferentemente da álgebra ordinária dos reais, onde as variáveis podem assumir valores no intervalo, as variáveis Booleanas só podem assumir um número finito de valores. Em particular, na álgebra Booleana de dois valores, cada variável pode assumir um dentre dois valores possíveis, os quais podem ser denotados por [F,V] (falso ou verdadeiro), [H,L] (high and low) ou ainda [0,1]. Nesta disciplina, adotaremos a notação[0,1], a qual também é utilizada em eletrônica digital. Como o número de