1用主析取范式判断下面公式是否等值：p与(pv9 (p^9)