Question

Apartir da descrição textual do sistema de Cadastro abaixo, identifique as regras para lógica booleana, na expressão abaixo. O usuário loga no sistema através do login root e senha 12345, ao entrar no sistema deverá conter o cadastro de clientes com os seguintes dados : nome, email , telefone, cep, celular e data de inserção. E existe um botão que denominado "Verificar", ao clicar , verifica-se se todos os campos estão preenchidos ou estão em branco, caso esteja em branco, retornara para cada campo um falso. Caso seja verdadeiro, deverá mostrar para o usuário "Cadastro enviado com sucesso".

l: campo login
s: campo senha
n: campo nome
lg: "root"
sg: "12345"
b: campo branco
resultado: "Cadastro enviado com sucesso"
botaoClicado: botão "Verificar"

Expressão : (l => lg v s => sg )

Forneça a tabela verdade. para esta expressão e justifique se esta expressão corresponde a um sistema seguro de login.

Answer 1

Bom dia!

Indo direto para resolução, vemos que a continuação da expressão: (l => lg v s => sg ) é:  

(l => lg ^ s => sg ) <=> ( n => ~b) ^ s  

Agora no segundo passo, partindo para a criação da tabela verdade, averiguamos que temos uma conjunção, vemos isso, pois a proposição é toda formada pelo conectivo E (^). Sabendo disso vemos que tanto o resultado da tabela verdade lg ^ s é totalmente verdadeiro, ou seja, todos os campos são preenchidos com Verdadeiro. Isso levando em consideração que retorna-se o 1 ou true.