关于#合取范式#的问题，如何解决？

求（P∧（P->Q））->Q的主析取和主合取范式
我算出来是重言式 非P
那是不是主析取和主合取都是 1呀？