Escolar Documentos
Profissional Documentos
Cultura Documentos
Álgebra de Boole
Disciplina: Lógica
Professora Dr.ª: Donizete Ritter
A Matemática Discreta e Lógica torna-se
importante ao incluir os indivíduos no mundo
lógico, pois a lógica está presente nos mais diversos
lugares e aspectos, e assim define Moretto (2007,
p.3) a lógica como: “(...) uma correção do
pensamento, isto é, ela nos ensina a usar
corretamente o raciocínio. Pensar em lógica
significa ordenar o pensamento. (...) A lógica está
presente no nosso cotidiano, nas nossas ações,
quando falamos ou escrevemos (...)”.
Sendo a lógica um estilo de raciocínio, é possível
compará-la com uma arte, a arte de pensar, sem
que para isso seja necessário ser um filósofo. A
lógica está muito relacionada com o pensamento e
estamos interessados em como é possível fazer a
máquina “pensar”.
Tabela Verdade:
Operador OR (união).
Tabela Verdade:
Operador NOT (inversor).
Símbolo Lógico:
Tabela Verdade:
Operadores Booleanos Secundários:
NAND, NOR, XOR E XNOR
Operador NAND:
Definição: A porta NAND (NÃO E) equivale a
uma porta AND seguida por uma porta NOT, isto
é, ela produz uma saída que é o inverso da saída
produzida pela porta AND.
Símbolo Lógico:
Tabela Verdade:
Operador NOR:
Definição: A porta NOR equivale a uma porta OR
seguida por uma porta NOT, isto é, ela produz
uma saída que é o inverso da saída produzida pela
porta OR.
Símbolo Lógico:
Tabela Verdade:
Operador XOR (OU exclusivo)
Definição: A operação lógica XOR entre duas
variáveis A e B apresenta resultado 1 se uma e
somente uma das duas variáveis estiver no estado
lógico 1 (ou seja se as duas variáveis estiverem
em estados lógicos diferentes).
Símbolo Lógico:
Tabela Verdade:
Operador XNOR (negativo de OU exclusivo)
Definição: A operação lógica XNOR entre duas
variáveis A e B apresenta resultado 1 se e somente
se as duas variáveis estiverem no mesmo estado
lógico.
Símbolo Lógico:
Tabela Verdade:
PROPRIEDADES BÁSICAS
Sendo x uma variável booleana, então:
SOUZA, João Nunes de. Lógica para ciência da computação. Rio de Janeiro:
Elsevier, 2002.
UNIVERSIDADE DO ESTADO DE MATO GROSSO
CAMPUS UNIVERSITÁRIO DO VALE DO TELES PIRES
DEPARTAMENTO DE COMPUTAÇÃO
Álgebra de Boole