命题公式¬(P→Q)的主析取范式是______。