P∨(┓P∧Q)∨(┓P∧┓Q)当中这些符号是什么意思啊