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.~Q->P
C.P∧Q
D.P∨Q
正确答案是B
P，Q是两个合适公式，P∧Q表示合取，P∨Q表示析取，~P表示否定,P->Q表示P蕴含Q，与~P->Q等价的是
A.~P->~Q
B.~Q->P
C.P∧Q
D.P∨Q
正确答案是B