与命题公式“p→q”逻辑等值的有()。