сомнительно, пишут же, что минимальная форма (1+x2*x3)
надо смотреть, что за операции сложение и умножение. сложение я бы предположил что "исключающее или", но если умножение "и", то у них там в скобках ни хрена не взаимодополняющие слагаемые, так что так сворачивать вообще нельзя.