可以，把p命题成立的情况用A集合表示，q命题成立的情况用B集合表示根据集合论，（A补∪B）∩（A∪B）=（A补∩A）∪B＝B也可以画韦恩图来看。或者也可以这样推理：(非p或q)且(p或q)那么非p或q成立，并且p或q成立。假如非p成立，那么由于p或q成立，而p不成立，所以q成立；假如非p不成立，因为非p或q成立，所以q成立。所以无论非p成立还是不成立，q都成立。
原式=(非p且p)或q=q.可以。
