Atividade Contextualizada - logic matemátik

Prévia do material em texto

Conteúdo do exercício
Parte superior do formulário
Olá, estudante!
Vamos iniciar a atividade contextualizada da disciplina Lógica Matemática. Aqui, você irá desenvolver e apresentar sua opinião no que diz respeito as aplicações de circuito lógico.
✔ 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.
Diante do contexto exposto, elabore uma dissertação de até 30 linhas e 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
Veja o circuito abaixo:
 
Aprofunde os seus estudos a partir da seguinte leitura: 
https://tecdicas.com/como-descrever-um-circuito-logico-algebricamente/.
ABCD~A~B~C~D~A.~B.~C.D~A.B.~C.D~A.B.C.~D~A.B.C.DA.~B.C. DA.B.~C.~DA.B.~C.DA.B.C.~DS
00001111000000000
00011110100000001
00101101000000000
00111100000000000
01001011000000000
01011010010000001
01101001001000001
01111000000100001
10000111000000000
10010110000000000
10100101000000000
10110100000010001
11000011000001001
11010010000000101
11100001000000011
11110000000000000
Tabela Verdade do Circuito Lógico
NOT = Para a Saída ser verdadeira, a entrada deve ser falsa - AND = Para a saída ser verdadeira, todas as entradas devem ser verdadeiras - OR = Para a saída ser verdadeira, uma entrada deve ser verdadeira.
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
A.B.~C.D
A.B.C.~D
S
0
0
0
0
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
1
0
0
0
0
0
0
0
1
0
0
1
0
1
1
0
1
0
0
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
0
1
1
0
0
0
0
0
0
0
0
0
0
1
0
1
1
0
1
0
0
1
0
0
0
0
0
0
1
0
1
1
0
1
0
0
1
0
0
1
0
0
0
0
0
1
0
1
1
1
1
0
0
0
0
0
0
1
0
0
0
0
1
1
0
0
0
0
1
1
1
0
0
0
0
0
0
0
0
0
1
0
0
1
0
1
1
0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
1
0
1
0
0
0
0
0
0
0
0
0
1
0
1
1
0
1
0
0
0
0
0
0
1
0
0
0
1
1
1
0
0
0
0
1
1
0
0
0
0
0
1
0
0
1
1
1
0
1
0
0
1
0
0
0
0
0
0
0
1
0
1
1
1
1
0
0
0
0
1
0
0
0
0
0
0
0
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
0
0
0
Tabela Verdade do Circuito Lógico
NOT
 = Para a Saída ser verdadeira, a entrada deve ser falsa - 
AND
 = Para a saída ser verdadeira, todas as entradas devem ser verdadeiras - 
OR
 = Para a saída ser verdadeira, uma entrada deve ser verdadeira.
Expressão algébrica
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)
Expressão algébrica
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)
 Expressão simbólica
S= (¬ p ^ ¬ q ^ ¬ r ^ s) v (¬ p ^ q ^ ¬ r ^ s) v ( ¬ p ^ q ^ r ^ ¬ s) v ( ¬ p ^ q ^ r ^ s) v
(p ^ ¬ q ^ r ^ s) v ( p ^ q ^ ¬ r ^ ¬ s) v ( p ^ q ^ ¬ r ^ s) v ( p ^ q ^ r ^ ¬ s)
Expressão simbólica
S= (¬ p ^ ¬ q ^ ¬ r ^ s) v (¬ p ^ q ^ ¬ r ^ s) v ( ¬ p ^ q ^ r ^ ¬ s) v ( ¬ p ^ q ^ r ^ s) v
(p ^ ¬ q ^ r ^ s) v ( p ^ q ^ ¬ r ^ ¬ s) v ( p ^ q ^ ¬ r ^ s) v ( p ^ q ^ r ^ ¬ s)
CONCLUSÃO:
A classificação da tabela verdade é contingência, pois o resultado da proposição composta na última linha apresentou valor misto, ou seja, seu valor lógico é Verdadeiro e Falso. 
Contingência: Toda proposição composta cuja última coluna (resultado final) da tabela-verdade possui pelo menos um V e F.
Tautologia: Toda proposição composta cuja última coluna (resultado final) da tabela-verdade seja verdadeiro.
Contradição: Toda proposição composta cuja última coluna (resultado final) da tabela-verdade seja falso.REFERÊNCIAS BIBLIOGRÁFICAS
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE. Fundamentos de lógica e algoritmos. Disponível em: https://docente.ifrn.edu.br/nickersonferreira/disciplinas/fundamentos-de-logica-e-algoritmos-1o-ano-info
MESSINA, Ana Paula. Como Descrever um Circuito Lógico Algebricamente. Disponível em: https://tecdicas.com/como-descrever-um-circuito-logico-algebricamente/
UNIVERSIDADE FEDERAL DE JUIZ DE FORA. Circuitos Lógicos Portas Lógicas. Disponível em: https://www.ufjf.br/daniel_silveira/files/2011/06/aula_2.pdf