Question

（离散数学）公式（见下图） 的主合取范式为______________________________

公式就在这张图上，感谢大神帮忙

Answer 1

用P'表示非P,
原式=PR+SR+P'
=PR+SR+P'(R+R')
=PR+P'R+SR+P'R'
=(P+P')R+SR+P'R'
=R+SR+P'R'
=R+P'R'.
可以吗？

Answer 2

(P∧R)∨(S∧R)∨¬P
<=>(P∧R)∨¬P∨(S∧R)
<=>(P∨¬P)∧(R∨¬P)∨(S∧R)
<=>R∨¬P∨(S∧R)
<=>R∨(S∧R)∨¬P
<=>R∨¬P
<=>(R∨¬P)∨(S∧¬S)
<=>(R∨¬P∨S)∧(R∨¬P∨¬S)