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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Después de esta práctica, veamos en la siguiente sección cómo aplicar estos conocimientos a la construcción de tablas de verdad para enunciados con un cierto grado de complejidad.

Actividad relacionada: