Atajos para la evaluación de fórmulas

En algunas fórmulas no es necesario efectuar todos los cálculos. ¿Ha encontrado algún atajo a la hora de evaluar alguna fórmula?

1.- $\newline (p\rightarrow q)\vee r$
2.- $\neg p\wedge q\leftrightarrow r\vee s$
3.- $((p\vee q)\wedge\neg r)\rightarrow \neg s$
4.- $(p\leftrightarrow s)\rightarrow s\wedge\top$
5.- $(\bot\rightarrow q\vee\top)\wedge r$
6.- $p\wedge q\wedge r\wedge s\wedge\bot\rightarrow\neg s$
7.- $p\vee q\vee r\vee s\rightarrow\neg(p\wedge s)$
8.- $(\top\rightarrow\bot)\wedge(p\vee \neg r\vee s)$
9.- $((p\vee r\vee s\vee\neg r)\wedge(p\vee r\vee s\vee\neg p))\vee s$
10.- $((p\wedge\neg p)\wedge(q\vee r\vee\neg p))\vee(r\vee (r\vee\neg r))$