Si p y q tienen el mismo valor de verdad, entonces p formula_17 q es verdadera.