Especificação formal de software

Para cada uma das expressões abaixo, indicar que a expressão é válida (sempre verdadeira), unsat (sempre falsa), ou apresente duas atribuições de valores as variáveis, uma atribuição que a torne verdadeira e uma atribuição que a torne falsa.

1. (p ⇒ q) ∨ (q ⇒ p) 
2. p ∧ (p ⇒ ¬q) ∧ q
3. (p ⇒ (q ∧ r)) ⇔ (p ⇒ q) ∧ (p ⇒ r)
4. (p ⇒ (q ⇒ r)) ⇒ ((p ∧ q) ⇒ r)
5. (p ⇒ q) ∧ (p ⇒ ¬q)
6. (¬p ∨ ¬q) ⇒ ¬(p ∧ q)
7. ((¬p ⇒ q) ⇒ (¬q ⇒ p)) ∧ (p ∨ q)
8. ((¬p ∨ q) ⇒ (q ∧ (p ⇔ q))
9. ((¬r ⇒ ¬p ∧ ¬q) ∨ s) ⇔ (p ∨ q ⇒ r ∨ s)
10. (p ∧ (q ⇒ r)) ⇔ ((¬p ∨ q) ⇒ (p ∧ r))