Práctica especificación 1 Lógica proposicional Algoritmos y Estructuras de Datos 1 28 de marzo de 2011.