p析取q合取r蕴含p析取q析取r