Fórmulas satisfechas por interpretación (I12)

¿Cuáles de las diez fórmulas satisface la interpretación p:1, q:1, r:0 y s:0?

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))$