与p∧﹁q相矛盾的蕴涵式是（）。