Práctica de la dominancia de conectivas

Identifica cuál es la conectiva principal y determina qué tipo de enunciado es cada uno de los siguientes:

  1. q∨¬[(p∧q)→(r∨t)]

  2. (r∨t)→¬(p∧q)

  3. [q∧(q↔r)]∧[¬(q∧r)→¬r]

  4. [p∨(q∧r)]→[¬p∨(q∧r)]

  5. ¬[(p→r)∨(¬p∧¬¬q)]

  6. {p∧[(p↔q)↔(q∨r)]}→s

  7. [(p↔q)→¬r]∨¬¬[q∧(q↔r)]

  8. ¬p↔[p∨(q∧r)]

  9. [(p→r)∨(r∧s)]∨(p∧¬¬q)

  10. [(p→q)∧(p→r)]↔¬(p∧s)

  11. r→[q∧(q↔r)]

  12. ¬¬q∧[p∧¬(r)]

  13. (r∧s)∨(p→r)

  14. r∧¬{(p∧¬¬q)∨[(p→r)∨(r∧s)]}