等价于((pVq)->r)=>s且s=>((pVq)->r)A->B结构本身等价于(非A)VB如果没有其它条件，是可满足式。就是说可以选定p,q,r,s使得上式成立，但是不总成立（即也可以使之不成立），所以不是永真也不是永假）如果这些变量之间还有相互关系或其它限制，那就不一定了。
