通过求主析取范式，求下列公式的主合取范式。