Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la función del bicondicional el resultado ha de ser una tautología.