P,Q是两个合适公式，P∧Q表示合取，P∨Q表示析取，~P表示否定，P->Q表示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
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