DOCUMENTO PARA LOS ALUMNOS DEL GRUPO DE CIRCUITOS LÓGICOS.

Hola mis estimados estudiantes. Les comento que el Profesor Eleazar nos envía un documento para que lo estudiemos. Se traa de algunas reglas lógicas y tautologías de deducción natural. Por medio de estas podemos trabajar las expresiones lógicas para validarlas. Les pido que descarguen el material del link que pondré a continuación y que lo estudien. Yo haré lo mismo :)
https://drive.google.com/file/d/0B0MXTkmprvNSRFQ0a1NLZXRkeUU/edit?usp=sharing