DEC7121

Fundamentos Matemáticos para a

Computação
Aula 01 – Unidade 1 – Lógica Computacional e
Álgebra Booleana

Professor
Antonio Carlos Sobieranski
a.sobieranski@ufsc.br

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 1

 Contextualização

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 2

 Fundamentos básicos
• Alguns conceitos preliminares:
– Expressão lógica ou expressão Booleana
– Tabela-verdade
– Portas Lógicas e circuitos digitais

– As 3 formas acima são equivalentes e intercambiáveis

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 3

 Fundamentos básicos
• Operadores lógicos e analogia a portas lógicas de
circuitos digitais

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 4

 Fundamentos básicos
• Representação da explosão combinatória de valores que
uma porta lógica ou operador lógico pode assumir
podem ser representados em uma tabela.
• Esta tabela é chamada de Tabela-Verdade

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 5

 Fundamentos básicos
• A partir das 3 portas lógicas primárias, várias outras
podem ser obtidas, com suas respectivas tabelas-
verdade
• Quais as expressões booleanas para estas portas lógicas
?

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 6

 Vamos praticar um pouco

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 7

 Vamos praticar um pouco

Quais as tabelas
verdade para as
expressões obtidas ?

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 8

 Vamos praticar um pouco

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 9

 Modelagem Lógica
• Modelagem dos problemas do mundo real pode ser
realizada por meio da tabela-verdade dos fenômenos
observados.
• Passo 1….
•
• Material em Desenvolvimento

DEC7121 – Fundamentos Matemáticos Computação Prof. Antonio Carlos Sobieranski 10