минимизация - получение такой формы выражения, при котором машинное вычисление будет наиболее простым.
сднф - одна из форм такого выражения. она состоит только из элементарных операций: коньюнкций и отрицаний (элементарные для машинной логики операции)