Sejam as proposições lógicas:p: Hoje é sábado.q: Hoje é domingo.A expressão simbólica p ↔ ~q pode ser escrita de forma equivalente na linguagem corrente como: