Considerando o conectivo lógico bicondicional entre duas proposições, é correto afirmar que seu valor lógico é verdade se: