Como se representa simbolicamente o bicondicional p ↔ ~q usando condicionais?

p ↔ ~q equivale a (p → ~q) ∧ (~q → p).

Explicação:
Formalmente, a bicondicional afirma equivalência, isso é, ambas as implicações devem ser verdadeiras ao mesmo tempo.
Em símbolos, \(p \leftrightarrow \neg q \equiv (p \rightarrow \neg q)\land(\neg q \rightarrow p)\).

Exemplo:
Seja p = "há aula" e q = "é feriado", então ¬q = "não é feriado".
Logo, \(p \leftrightarrow \neg q\) lê-se "há aula se, e somente se, não é feriado".
Isso significa simultaneamente: se há aula então não é feriado, e se não é feriado então há aula.