Sejam p, q e r proposições e \( \sim \)p, \( \sim \)q e \( \sim \)r, respectivamente, as suas negações. Os conectivos e e ou são representados, respectivamente, por \( ∧ \) e \( ∨ \) . A implicação é representada por →. A proposição composta (p \( ∨ \sim \)r)→q é equivalente a