Usuario:Juan medina/ejer7

Si P y Q so oraciones atomicas distintas. ¿cuales de las siguientes son tautologías?

a) P↔Q; F

b) P ↔ P v P; V

c) P v Q → Q v P; V

d)(P → Q)↔(Q → P);F

e)(P ↔ p) ↔p; V