RIO CLARO SP
29/11/2014
Etapa 1
1. Relatrio 1 - Elementos Lgicos
1.1 Expresso Booleana e Tabela Verdade
Uma Expresso Booleana pode ser definida com um conjunto de operadores e
um conjunto de axiomas, que so assumidos verdadeiros sem necessidade de prova.
Diferentemente da lgebra ordinria dos reais, onde as variveis podem assumir valores
no intervalo, as variveis Booleanas s podem assumir um nmero finito de valores. Em
particular, na lgebra Booleana de dois valores, cada varivel pode assumir um dentre
dois valores possveis, os quais podem ser denotados por [F,V] (falso ou verdadeiro),
[H,L] (high and low) ou ainda [0,1]. Como o nmero de valores que cada varivel pode
assumir finito, o nmero de estados que uma funo Booleana pode assumir tambm
ser finito, o que significa que podemos descrever completamente as funes Booleanas
utilizando tabelas. Devido a este fato, uma tabela que descreva uma funo Booleana
recebe o nome de tabela verdade, e nela so listadas todas as combinaes de valores
que as variveis de entrada podem assumir e os correspondentes valores da funo.
PS - presena de sol;
URA - umidade relativa do ar interna.
TI
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
PS
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
URA
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
Sada
0
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
UT+TI+PS+URA = SADA
1.4 O circuito
Depois do processo de criao das tabelas e depois de encontrar as expresses
booleanas, utilizamos o software EWE Workbench e desenhamos o circuito com a
expresso Booleana encontrada:
Bibliografia
LOURENO, Antnio C. de et al. Circuitos digitais. 9 ed. So Paulo: Erica, 2010.