DNF Extractor Sharp

A ferramenta aceita uma expressão booleana e retorna sua Forma Normal Disjuntiva (DNF), permitindo que usuários analisem e implementem a lógica como somas de produtos. Suporta operadores comuns e parênteses para agrupamento, tornando-a útil para engenheiros de software, designers digitais e docentes que precisam de uma tradução confiável da lógica para DNF. Conceitualmente, constrói uma tabela-verdade para todas as variáveis envolvidas, deriva uma DNF canônica a partir das linhas verdadeiras e aplica, quando necessário, minimização para obter uma forma mais simples que preserve a veracidade. O valor reside em saídas reproduzíveis e script-friendly que alimentam suítes de verificação, geradores de vetores de teste e caminhos de código automatizados. Ao contrário de calculadoras simples, esta ferramenta expõe explicitamente formas canônicas e reduzidas, facilitando comparações lado a lado e fluxos pedagógicos. Casos de uso incluem verificar equivalência lógica, preparar vetores de teste e documentar decisões de design para equipes que exigem representações lógicas claras e verificáveis.