如果p那么q,如果非p那么q,或者p或者非p,总之q.