Quando uma proposição bicondicional A↔B é verdadeira?

Quando A e B têm o mesmo valor lógico, ou seja, ambas verdadeiras ou ambas falsas.

Explicação:
O bicondicional A↔B vale verdadeiro se e somente se A e B coincidirem em valor lógico, caso contrário vale falso.
Casos: A=V, B=V → A↔B = V
A=F, B=F → A↔B = V
A=V, B=F → A↔B = F
A=F, B=V → A↔B = F
Exemplo:
Se R = "2+2=4" (V) e S = "7>3" (V), então R↔S = V, porque ambos são verdadeiros.
Se T = "0=1" (F) e U = "5<2" (F), então T↔U = V, porque ambos são falsos.