Um software de login considera válido o acesso se:
- o usuário for “admin”, ou (“professor” e turma_associada),
- e a senha estiver correta,
- e a conta não estiver bloqueada.
Passo 1
O enunciado pede para modelarmos em lógica proposicional o critério de acesso de um software de login. Vamos definir proposições para cada condição e depois montar a fórmula correspondente.
Passo 2
Definimos as seguintes proposições:
: “o usuário é “admin””
: “o usuário é “professor””
: “há turma_associada”
: “a senha está correta”
: “a conta não está bloqueada”
Passo 3
A parte que trata do tipo de usuário é “admin ou (professor e turma_associada)”, ou seja:
Passo 4
Para o acesso ser válido, além do tipo de usuário, é preciso que a senha esteja correta e que a conta não esteja bloqueada. Assim, a condição completa é: