例2．试利用真值表说明三个公式┐P∨Q、┐（P∧┐Q）与P→Q相互等价。
　　解：包含三个公式的真值表如下：

　　从真值表中可以看出，对应命题变元的每一种真值指派，三个公式的取值均相同，所以三个公式相互等价。