Observe Atentamete!
 

Lembre-se que o conectivo bicondicional é representado simbolicamente por "".