Se obtiene al evaluar la tabla de verdad para: (p -> q) & ( q -> r ) -> ( p->r) Seleccione una:
O a. No es posible de evaluar
O b. Contradicción
c. Indeterminación
taulogia​