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: