是有效式。
要证明一个逻辑公式为永真式（有效式），只需证明不管p、q是真是假，它都为真即可。依据：（1）相容选言判断的真值特征：两个选言支都假时，相容选言判断才为假，其余情况均为真。（2）联言判断的真值特征：两个联言支都真时，判断为真，其余情况均为假。
（3）充分条件假言判断的真值特征：只有前件真后件假时，充分条件假言判断才为假，其余情况均为真。
列出真值表如答案所示。
