Agrega ejercicio 7 (tautologia, etc), corrige error en show (no mostraba P,Q,R; mostraba negaciones con paréntesis alrededor