此命题公式真值表如下：其析取式：（﹁p→q）→（q→﹁p）等值于一个析取式，这个析取式应为或者（﹁p→q）假，或者（q→﹁p）真，即﹁（﹁p→q）∨（q→﹁p），可转化为(﹁p∧﹁q)∨(q→﹁p)。命题公式(propositional...