Logica Matematica - Dominique N Bezerra - ATIVIDADE CONTEXTUALIZADA

Prévia do material em texto

Lógica Matemática
Dominique Nascimento Bezerra
01463370
Superior de Tecnologia em Análise e Des.de Sistemas
✔ Com base no conhecimento adquirido e buscando informações adicionais relacionados ao assunto, determine a tabela da verdade para o circuito lógico abaixo, apresente a função no formato algébrico desenvolvido por George Boole e no formato de linguagem simbólica. Classifique pelo resultado em tautologia, contradição ou contingência e justifique.
Desenvolva os seguintes tópicos:
▪Crie a tabela da verdade e resolva o problema com base da álgebra booleana
▪Monte a expressão e transforme em linguagem simbólica
	A
	B
	C
	D
	-A
	-B
	-C
	-D
	Ā B̄ C̄ D
	Ā B C̄ D
	Ā B C D̄
	Ā B C D
	A B̄ C D
	A B C̄ D̄
	A B C̄ D
	A B C D̄
	S
	F
	F
	F
	F
	V
	V
	V
	V
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	V
	V
	V
	V
	F
	V
	F
	F
	F
	F
	F
	F
	F
	V
	F
	F
	V
	F
	V
	V
	F
	V
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	V
	V
	V
	V
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	V
	F
	F
	V
	F
	V
	V
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	V
	F
	V
	V
	F
	V
	F
	F
	V
	F
	F
	F
	F
	V
	F
	V
	F
	V
	V
	F
	V
	F
	F
	V
	F
	F
	V
	F
	F
	F
	F
	F
	V
	F
	V
	V
	V
	V
	F
	F
	F
	F
	F
	F
	V
	F
	F
	F
	F
	V
	V
	F
	F
	F
	F
	V
	V
	V
	F
	F
	F
	F
	F
	F
	F
	F
	F
	V
	F
	F
	V
	F
	V
	V
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	V
	F
	V
	F
	F
	V
	F
	V
	F
	F
	F
	F
	F
	F
	F
	F
	F
	V
	F
	V
	V
	F
	V
	F
	F
	F
	F
	F
	F
	V
	F
	F
	F
	V
	V
	V
	F
	F
	F
	F
	V
	V
	F
	F
	F
	F
	F
	V
	F
	F
	V
	V
	V
	F
	V
	F
	F
	V
	F
	F
	F
	F
	F
	F
	F
	V
	F
	V
	V
	V
	V
	F
	F
	F
	F
	V
	F
	F
	F
	F
	F
	F
	F
	V
	V
	V
	V
	V
	V
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
	F
S = (Ā.B̄.C̄.D) + (Ā.B.C̄.D) + (Ā.B.C.D̄) + (Ā.B.C.D) + (A.B̄.C.D) + (A.B.C̄.D̄) + (A.B.C̄.D) + (A.B.C.D̄)
S = (¬A ˄ ¬B ˄ ¬C ˄ D) ∨ (¬A ˄ B ˄ ¬C ˄ D) ∨ (¬A ˄ B ˄ C ˄ ¬D) ∨ (¬A ˄ B ˄ C ˄ D) ∨ (A ˄ ¬B ˄ C ˄ D) ∨ (A ˄ B ˄ ¬C ˄ ¬D) ∨ (A ˄ B ˄ ¬C ˄ D) ∨ (A ˄ B ˄ C ˄ ¬D)
O resultado é do tipo contingência pois pode ser V (verdadeiro) ou F (falso), dependendo do valor das proposições.