由p∧q真能推出p∨q（），由p∨﹁q假能推出﹁p∧q（）。