Desafio Programação Lógica

Conversor de Formas Normais Prenex

Digite uma fórmula em LaTeX. A fórmula será convertida para:

• Forma Normal Conjuntiva Prenex
• Forma Normal Disjuntiva Prenex
• Forma Cláusal
• Cláusula de Horn