离散数学里:(p-->q)(!(非)pvq)是怎么得来的?