用归谬赋值法做。（只有蕴涵式，就是
充分条件、必要条件、充要条件这样的式子才能用这个方法）。第一步：假设这个运算为假，就在最后一步运算下，就是那个箭头下面写F（代表真值为假）。第二步：这个运算为假，根据充分条件假言直言推理的
真值表可知，只有当前面为真、后面为假时，此运算的真值才为假，因此，在表示“或”的符号下写T（代表真值为真），在式子后面的p下面写F（代表真值为假）。第三步：q可能真、可能假，如果Q真，式子成立，没有出现赋值矛盾，因此该式不是重言式。（如果出现赋值矛盾就是重言式，反之则不是）亲，你的这个式子不是很典型.......
