TEOREMA DE MORGAN

CENTRO UNIVERSITÁRIO DE ENSINO SUPERIOR DO AMAZONAS
CURSO DE CIÊNCIA DA COMPUTAÇÃO

TEOREMA E POSTULADO DE MORGAN

Manaus
2013
CENTRO UNIVERSITÁRIO DE ENSINO SUPERIOR DO AMAZONAS
CURSO DE CIENCIA DA COMPUTAÇÃO

ANDRÉ LUIZ SANTOS DA COSTA
ALTAIR GURGEL DE FREITAS

Trabalho apresentado ao Curso de Ciência da computação do Centro Universitário de Ensino Superior do Amazonas, como requisito parcial para a 4ª NPC, da disciplina Sistemas e Circuitos.

Orientador: Prof. Eneias.

Manaus
2013
SUMÁRIO

INTRODUÇÃO.............................................................................................................4
Teorema de Morgan...................................................................................................5
CONCLUSÃO..............................................................................................................7
REFERÊNCIAS............................................................................................................8
ANEXOS......................................................................................................................9

1 Teorema de Morgan

Estes teoremas são chamados coletivamente Teoremas de DeMorgan (ou Leis de DeMorgan) após o matemático Inglês e lógico (e contemporâneo de George Boole) Augustus DeMorgan (1.806-1871). O matemático britânico Augustus De Morgan (1806 – 1871) deu sua grande contribuição no âmbito da lógica matemática, suas realizações mais importantes foram o lançamento das fundações de relações e a preparação do caminho para o nascimento do que seria posteriormente chamado de lógica simbólica. Estes teoremas pode ser indicado em palavras como se segue que é suficientemente importante para ser tratado separadamente. Conhecido por Teorema de De Morgan, aplica-se a um número arbitrário de variáveis e na sua forma dual é apresentado da seguinte forma:

ABC A B C