主析取范式是不是就是优析取范式,
（P∩Q）∪R
（（P∩Q）∩（R∪非R））∪(R∩(P∪非P)∩(Q ∪非Q))
（（P∩Q）∩（R∪非R））∪(((R∩P)∪(R∩非P))∩(Q∪非Q））
（（P∩Q）∩（R∪非R））∪(((R∩P)∪(R∩非P))∩Q）∪（（(R∩P)∪(R∩非P))∩非Q)
（P∩Q∩R）∪ （P∩Q∩非R）∪ （非P∩Q∩R）∪ （P∩非Q∩R）∪（非P∩非Q∩R）