Sendo p: A certidão foi elaborada e r: a publicação foi digitada, proposições lógicas, tem-se que (~p v r) ^(~r v p) é equivalente a:

Gabarito

B

Comentário do professor

Seja p: A certidão foi elaborada; r: a publicação foi digitada.

A expressão fornecida é \( (\lnot p \lor r)\land(\lnot r \lor p) \). Cada disjunção corresponde a um condicional: \( \lnot p \lor r\) é equivalente a \(p \to r\), e \( \lnot r \lor p\) equivale a \(r \to p\).

Ao conjugar esses condicionais obtemos \( (p \to r)\land(r \to p)\), que por definição é o bicondicional \(p \leftrightarrow r\).

Assim, a proposição afirma que p ocorre se, e somente se, r ocorre. Em linguagem natural: A certidão foi elaborada se, e somente se, a publicação foi digitada.