(P→Q)∧(R→Q)
P∨Q)∧(~R∨Q)
P∧~R)∨Q
(P∨R)∨Q
(P∨R)→Q
就是┐,不方便打那个符号