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:
A
Se a certidão foi elaborada, então a publicação foi
digitada
B
A certidão foi elaborada se, e somente se, a publicação
foi digitada
D
A certidão foi elaborada ou a publicação foi digitada
E
A certidão não foi elaborada se, e somente se, a
publicação foi digitada