De manera más precisa, el operador bicondicional tiene la siguiente tabla de verdad: