Formas normais disjuntiva (FND) e conjuntiva (FNC)
A forma normal disjuntiva e a forma normal conjuntiva descrevem a função de uma expressão lógica e geralmente são derivadas da tabela verdade.
Forma normal disjuntiva (FND) ou soma de Productos ou Soma de mintermos
- Marque as linhas em que a variável de saída tem o valor "1".
- As variáveis de entrada de uma linha são ligadas com a função lógica "E". Em uma linha, as variáveis de entrada com o status "0" são negadas. Essa expressão lógica é chamada de mintermo.
- Todos os mintermos agora estão ligados à função lógica "OU".
Forma normal conjuntiva (FNC) ou Producto de somas ou producto de maxtermos
- Marque as linhas em que a variável de saída tem o valor "0".
- As variáveis de entrada de uma linha são ligadas com a função lógica "OU". Em uma linha, as variáveis de entrada com o status "1" são negadas. Essa expressão lógica é chamada de maxtermo.
- Todos os maxtermos agora estão ligados à função lógica "E".
Exemplo de aplicação
Um sistema tem dois pontos de controle para ser ligado. O sistema só deve iniciar se apenas um botão for pressionado por vez. Assim que os dois botões forem pressionados ao mesmo tempo, o sistema permanecerá parado.
Duas equações diferentes podem ser criadas a usar a tabela verdade: A forma normal disjuntiva ou a forma normal conjuntiva, como descrito acima.
Forma Normal Conjuntiva (FNC) e Forma Normal Disjuntiva (FND)
Converter a Forma Normal Disjuntiva (FND) para a Forma Normal Conjuntiva (FNC)
Tanto o FND quanto o FNC descrevem a mesma tabela verdade. Dessa forma, deve ser possível converter o DNF em KNF e vice-versa usando álgebra booleana. Mostramos a conversão de FND para FNC:
Converter a Forma Normal Disjuntiva (FND) para a Forma Normal Conjuntiva (FNC)