真偽が等しいことを知りたいんだろ
PとQの真偽で4通りに場合分けして計算するだけなのに、集合がどうとか言ってるのなんなんだ?