qˇ非（（非pˇq）^p）等价于qˇ非（非p^q）ˇ(q^p)(分配律)等价于qˇ非(0ˇ(q^p))(矛盾律)等价于qˇ(非qˇ非p)(德 摩根律)等价于（qˇ非q）ˇ非p（结合律）等价于1ˇ非p(排中律)等价于1（零律），所以此式为永真式。望采纳，谢谢。
