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: