El bicondicional o doble implicación es un operador que funciona dando el valor de verdad cuando ambos valores son iguales y dando el valor de falsedad cuando ambos valores son diferentes.