命题逻辑等值公式判断：等值公式识别

下列各组命题公式中，等值的是（）.

(5分)

A: pA-4, pVg B: 9V(pV9), -qA(pVg) C: pv(png), 4 D: p→(a→p), p→(p→g)

答案：D

解析： A和B都不等值，因为它们含有不同的命题变量和运算符。 C不等值，因为它不是一个命题公式，4不是命题变量或者运算符。 D等值，可以使用真值表或者等值演算进行证明。