TEMA 2

-Proyecto: Crea un programa en scratch donde se traduzcan las siguientes expresiones lógicas: Negación, Conjunción, Disyunción y Condicial.
-Tablas de verdad:
  a) (p^q)^¬p
  b) ¬p^¬¬q
  c) ¬(¬p^q)
  d) p^(q^r)
  e) (¬p^¬q)^r
  f) (p^¬q)^¬r
  g) (¬¬p^q)^(¬r^p)
  h) p->¬qvr
  i) p^q->¬r
  j) p^q->qvr
  k) ¬pv(¬q->r)
  l) ¬p^q <-> qvr
  m) [(p->q) ^ (q->r)] -> (p->r)
-Problema Lógica:

http://eduteka.icesi.edu.co/modulos/1/162/49/1

Nave Espacial (Bueno)

https://scratch.mit.edu/projects/133791807/#editor