O método de obter, a partir duma função proposicional, uma fórmula do cálculo proposicional em FND cuja tabela de verdade dê a função proposicional de que se partiu (o mesmo para FNC). Completude vero-funcional. O conetivo "nem nem".