A p↔q é V somente quando p e q são ambos verdadeiros (V/V).
B p↔q é V quando p e q têm valores lógicos iguais (V/V ou F/F) e é F quando são diferentes (V/F ou F/V).
C p↔q é V quando pelo menos uma das proposições é verdadeira (V/V, V/F ou F/V).
D p↔q é F somente quando p e q são ambos falsos (F/F).
E p↔q é sempre V, independentemente dos valores de p e q.