Quando a bicondicional \(p \leftrightarrow q\) é verdadeira e quando é falsa?

Verdadeira quando p e q têm o mesmo valor lógico, falsa quando são diferentes.

Explicação:
A bicondicional satisfaz \(p \leftrightarrow q \equiv (p \land q) \lor (\neg p \land \neg q)\).
Avaliando pares de valores:
p=V, q=V ⇒ \(p \leftrightarrow q = V\).
p=V, q=F ⇒ \(p \leftrightarrow q = F\).
p=F, q=V ⇒ \(p \leftrightarrow q = F\).
p=F, q=F ⇒ \(p \leftrightarrow q = V\).

Exemplo:
A: o semáforo está verde, B: é permitido avançar.
Se ambos forem verdadeiros ou ambos falsos, A↔B é verdadeiro; se um for verdadeiro e o outro falso, A↔B é falso.