逻辑学一公式如何推导如果p,那么q 等值于 非p或者q,为什么?怎么推导出来或者理解的?