Quando uma bicondicional p ↔ q é verdadeira?

Verdadeira quando p e q têm o mesmo valor lógico, ambas verdadeiras ou ambas falsas.

A bicondicional p ↔ q é verdadeira se p e q forem simultaneamente verdadeiras ou simultaneamente falsas, caso contrário é falsa.
exemplo:
1) p: \(2+3=5\) é verdadeira, q: \(10/2=5\) é verdadeira, logo \(p\leftrightarrow q\) é verdadeira.
2) r: \(1+1=3\) é falsa, s: \(4-2=2\) é verdadeira, logo \(r\leftrightarrow s\) é falsa.