La tabla de verdad del bicondicional es la siguiente: