Durante a validação de um sistema eletrônico de autorização de acesso, um analista avaliou a expressão lógica (p∧q)→(p∨q), em que:

• p: "O usuário possui credenciais válidas." • q: "O usuário realizou autenticação em dois fatores."

Após analisar todas as combinações possíveis de valores lógicos das proposições p e q, o analista verificou que a expressão mantém o mesmo valor lógico em todos os casos. Com base nessa análise, a expressão é classificada como: