La regla del bicondicional es que si tanto p y q son verdaderos será verdadero de lo contrario será falso.