lgebra dos circuitos digitais; Aplicvel ao projeto dos circuitos lgicos e baseada em princpios da lgica formal, uma rea da filosofia; Aristteles (384-322 AC) foi um dos pioneiros no estudo da lgica formal; Boole percebeu que poderia estabelecer um conjunto de smbolos matemticos para substituir certas afirmativas da lgica formal;
Definio
um sistema matemtico composto por
operadores, regras, postulados e teoremas; Usa funes e variveis, como na lgebra comum, assumindo apenas dois valores: 0 (zero) e 1 (um); Trabalha basicamente com trs operadores, o AND (produto lgico, simbolizado por .), o OR (soma lgica, simbolizada por +) e o NOT (inversor ou negao lgica, simbolizada por );
Operadores
As variveis booleanas so representadas por
letras maisculas A, B, C, ... e as funes pela notao f(A,B,C,...);
Operador AND (interseo)
A operao lgica AND entre duas ou mais
variveis somente representa resultado 1 (verdadeiro/true) se todas as variveis tiverem valor lgico 1; A
Sada (A.B)
Operador OR (unio)
A operao lgica OR entre duas ou mais
variveis apresenta resultado 1 (verdadeiro/true) se pelo menos uma das variveis tiverem valor lgico 1; A
Sada (A+B)
Operador NOT (inversor)
A operao de complementao de uma
varivel implementada atravs da troca do valor lgico da mesma; A
Sada (~A)
A lgebra de Boole trabalha apenas com duas grandezas: falso e
verdadeiro. Assim sendo, podemos definir: Varivel Booleana, Lgica ou Binria como a varivel que apenas pode assumir dois valores: sim/no, verdade/falso, 1/0.
Proposio como todo o enunciado do qual se pode afirmar que
verdadeiro ou falso (ou sim ou no!). Assim sendo:
- "Amanh vai chover?" : no constitui uma proposio pois as
respostas possveis so, por exemplo: "Sim", "No", "Talvez...", "No sei..." A = "Lisboa a capital de Portugal" B="Blgica um pas da Amrica Latina" - A e B so, neste contexto variveis booleanas. Aqui, podemos associar a A o valor lgico verdade e a B o valor lgico falso e, como tal, so proposies. - "Lisboa a capital de Portugal e Blgica no um pas da Amrica Latina" tambm uma proposio qual podemos associar o valor lgico verdade.
Testa os teus conhecimentos e para cada uma das seguintes
frases, diz se ou no proposio: A- Proposio B No proposio 1- O sol nasce todos os dias. 2- Vamos ao cinema? 3- O Porto uma cidade encantadora. 4- A representao de 16 em binria 1001. 5- H vida em Marte.