Quando o conectivo bicondicional \(p \leftrightarrow q\) é verdadeiro?

Quando p e q têm o mesmo valor lógico.

Explicação:
\(p \leftrightarrow q \equiv (p \land q)\ \lor\ (\neg p \land \neg q)\), logo o bicondicional é verdadeiro se ambas as proposições forem verdadeiras ou se ambas forem falsas.

Exemplo:
Se \(p=\) V e \(q=\) V, então \(p\land q=\) V e \(\neg p\land\neg q=\) F, portanto \(p\leftrightarrow q=\) V \(\lor\) F = V.