Álgebra Booleana e sua relação com a tabela verdade

Prévia do material em texto

Álgebra Booleana e sua relação com a tabela verdade 
 
A álgebra booleana, criada por George Boole, é uma estrutura algébrica que esquematiza 
as operações Lógicas. O seja, é um sistema composto por um conjunto de operadores e 
um conjunto de axiomas, assumidos verdadeiros sem a necessidade de prova. 
 
Relação com a tabela verdade 
A álgebra booleana trabalha com três operadores: AND (o “e”, que é representado pelo 
símbolo ∧ na lógica), OR (o “ou”, representado pelo símbolo ∨ na lógica) e pelo NOT 
(o ”não”, representado pelo ~ ou ¬ na lógica). Além disso, as variáveis só podem 
assumir um número finito de valores, mais especificamente, dois valores, quais sejam: 
 V, F (Raciocínio humano) 
 Ligado, desligado (Circuitos de chaveamento) 
 1, 0 (Sistema binário) 
 0v, +5v (Eletrônica digital) 
Para descrever essas funções booleanas são usadas tabelas, conhecidas como tabela 
verdade. 
A tabela verdade foi criada em 1922 e auxilia no encontro de possíveis erros na validação 
de argumentos através do julgamento de proposições que recebem os valores de V ou F, 
não podendo ser atribuído um terceiro valor. Com essa tabela, pode-se listar todas as 
possibilidades de combinações de valores. 
Quando se trata de álgebra booleana, são empregadas equivalências na simplificação e 
manipulação de expressões lógicas com o objetivo de provar a validade dos argumentos 
e a tabela verdade surge como um método facilitador desse processo. 
 
 
 
Para fazer essa atividade usei como base a apostila de Introdução aos Sistemas Digitais 
(v.2001/1) dos professores José Luís Güntzel e Francisco Assis do Nascimento, 
disponível em https://www.inf.ufsc.br/~j.guntzel/isd/isd2.pdf 
https://www.inf.ufsc.br/~j.guntzel/isd/isd2.pdf