logica_simbolica

Tareas de logica simbolica