Desarrollo hoy del tema 3 del bloque: Tableros Semánticose introducción a las formas normales.
Los tableros están terminados, a la espera de la publicación de algunos ejercicios, y las formas normales están casi terminadas, para el próximo día explicar Resolución y hacer algún ejemplo.