Sejam as proposições:

• p: “O atleta voltou a lutar.”

• q: “O sistema voltou a funcionar.”

     Considere a expressão lógica a seguir:

                                         (p∨q)∧(¬p∨q)

Em linguagem natural, essa expressão é logicamente equivalente a,