Em qual das proposições abaixo a operação é uma bicondicional?