已知：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
正确答案是A
