已知：P,Q是两个合适公式，P∧Q表示合取，P∨Q表示析取，~P表示否定，P->Q表示P蕴含Q。消解过程中需要把蕴含符号去掉，那
2023-12-01人工智能
已知：P,Q是两个合适公式，P∧Q表示合取，P∨Q表示析取，~P表示否定，P->Q表示P蕴含Q。消解过程中需要把蕴含符号去掉，那么P->Q可以用哪个式子替换（）
A.P∨Q
B.P∧Q
C.~P∨Q
D.~P∨~Q
正确答案是C
