SD - Lógica proposicional
Requisitos do completado
...