ДНФ и КНФ, Способы нахождения... Опции

[Вацура]

Здравствуйте,
у меня вопрос по нахождению КНФ и ДНФ.

допустим мне дана функчия: х1"следование"(х2"круговая сумма"х3)
для нахождения ее ДНФ мне надо её преобразовать, чтобы все действия выражались через дизьюнкцию, коньюкцию и отрицание. После знак коньюкции заменить на "+", а дизьюнкцию на "*", сделать преобразования и сделать обратную замену?
а для нахождения КНФ надо дизьюкцию заменить на "+", а коньюкцию на "*"?
Или не так? Обясните пожалйста какой нибудь метод нахождения ДНФ и КНФ.

Спасибо за внимание.