Сколько возьмёте за приведение формулы к кнф, днф? Нужно у каждого шага написать, что за правило использовалось