Ну смотри СДНФ строится так, тебе нужны конъюнкты- элементы в которых твоя функция принимает единички, и в той строке где она принимает единичку, смотришь на входные сигналы, если это единичка то ставишь входной сигнал просто так, а если 0 - то ставишь отрицание. И все эти конъюнкты суммируешь.
Т.е в твоем варианта СДНФ =( x1*x3*not(x2)*not(x4) )+( not(x1)*not(x2)*not(x3)*not(x4) ) + (not(x1)*x3*not(x2)*not(x4)) + (not(x1)*not(x3)*x2*x4) + (not(x1)*x2*x3*x4) + (x1*not(x3)*x2*not(x4));

А в Карно - объединяешь максимальные группы с единичками, где кол-во элементов кратно 2(1,2,4,8), после объединения эти группы складываешь как конъюнкты - вот тебе и Минимальная Диз. Норм. Форма.
МКНФ - получается также, но группы надо брать из нулей, и после того как ты получил сумму конъюнктов надо по закону Де-Моргана взять от нее отрицание, и упростить.