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:

Se a certidão foi elaborada, então a publicação foi digitada

A certidão foi elaborada se, e somente se, a publicação foi digitada

p condicional r

A certidão foi elaborada ou a publicação foi digitada

A certidão não foi elaborada se, e somente se, a publicação foi digitada