СДНФ: расшифровка и определение, алгоритм приведения и построения СДНФ