Solución al ejercicio 6732

a) Ocho resultados intermedios: p, q, (p\wedge q),r, \neg r,s,((\neg r)\vee s)),(p\wedge q)\rightarrow ((\neg r)\vee s))