Solución al ejercicio 6731

a) Cuatro b) Tres fórmulas con 9 caracteres y una con 8 caracteres c) (p\wedge (p\vee p))\rightarrow \neg\neg(p\wedge(p\leftrightarrow p))