P，Q是两个合适公式，P∧Q表示合取，P∨Q表示析取，~P表示否定, Q等价于（ ）。