>>164
双対定理
(Φの双対論理式)=(Φの否定)
を習っていてこれを使っていい
とか言うことは無いですか?
なかったら地道にやることになると思います