Как привести булевую функцию к ДНФ или КНФ при помощи законов булевой алгебры?

(\(x1->x2) v \(x2->x3) O бин (x1 ->(x1 пирс x4)) заменим импликации и пирса
(\(\x1v x2) v \(\x2v x3) O бин (\x1 v (\x1 v x4)) законы упрощения
Отрицания (\)
((x1* \x2) v ( x2*\ x3) O бин (\x1 v x4) ) заменим «О сложение по модулю 2»
((x1* \x2) v ( x2*\ x3) \ (\x1 v x4) v \( x2*\ x3) (\x1 v x4) ) Отрицания
((x1* \x2) v ( x2*\ x3) ( x1 * \x4) v ( \x2 v x3) (\x1 v x4) ) …
и т. д
стр 27 … 31
буль (звезды уберите)
http:**/*/**rudocs**.exdat*.com/**docs/*index-*166893.**html?page=29