给定一个命题公式，求其主析取范式，主合取范式。

主析取范式是指将命题公式写成若干个子句的析取形式，其中每个子句都是若干个原子命题或其否定的合取形式。主合取范式是指将命题公式写成若干个子句的合取形式，其中每个子句都是若干个原子命题或其否定的析取形式。