二者是等值关系，具体证明要列出真值表，但是这里不能显示出表格。下面我把真值表写出来，希望你对齐看。pq┐pp→q┐p∨q真真假真真真假假假假假真真真真假假真真真最后看到无论p和q取任何真假值，p→q和┐p∨q的真假总是相同的，因此证明这两个逻辑形式等值。
