求P∩Q∪R的主合取、主析取范式

问题描述:

求P∩Q∪R的主合取、主析取范式

主析取范式是不是就是优析取范式,
(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)