Você trabalha na área de desenvolvimento de uma faculdade está se dedicando a reestruturar o sistema da pós-graduação. Para fazer a matrícula dos alunos, o software que gerencia área de atual do aluno deverá verificar a seguinte documentação: fazer upload cópia do diploma ou histórico e certificado autenticado. Para isso, é preciso desenvolver uma sentença proposicional e realizar testes lógicos. A partir dos testes lógicos, outra equipe desenvolverá os algoritmos.
Portanto, para que o sistema da pós graduação seja capaz de verificar a documentação, você deve desenvolver uma sentença pro posicional, utilizando a linguagem lógica proposicional, e realizado dois testes, de forma que gerem um valor lógico verdadeiro e o valor lógico falso
Soluções para a tarefa
Resposta:
Para resolver o problema, inicialmente, será analisada a necessidade do sistema:
Fazer UPLOAD cópias do diploma ou histórico e certificado autenticado.
Então, os três documentos destacados são colocados em uma proposição simples:
p: O aluno fez upload do diploma na área do aluno.
q: O aluno fez upload do histórico na área do aluno.
r: O aluno fez upload do certificado autenticado na área do aluno.
Dessa forma, pode-se gerar a expressão lógica a seguir:
P: (p v q) ^ r
As proposições simples p e q devem estar dentro dos parênteses, pois a exigência é que se faça upload do diploma ou do histórico. Já os certificados autenticados são obrigatórios.
Com isso, será efetuado o primeiro teste lógico:
P: (V v V) ^ V
P: V ^ V
P: V
O sistema deve validar os documentos.
Agora, serão considerados os seguintes valores lógicos nas proposições simples:
p: O aluno fez upload do diploma na área do aluno.
q: O aluno fez upload do histórico na área do aluno.
r: O aluno fez upload do certificado na área do aluno, mas não está autenticado.
Com isso, será efetuado o segundo teste lógico:
P: (V v V) ^ F
P: V ^ F
P: F
O sistema não deve validar os documentos.