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:
A: “o usuário é “admin””
B: “o usuário é “professor””
C: “há turma_associada”
S: “a senha está correta”
L: “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:
A \lor (B \land C)

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 é:
(A \lor (B \land C)) \land S \land L

Resposta

(A \lor (B \land C)) \land S \land L

Exercícios relacionados