Solución al ejercicio 6736

1) (((\neg p)\vee(\neg q))\rightarrow(t\vee(q\leftrightarrow s)))
2) 32