设A、B为两个命题公式，若A、B构成的等价式AB是重言式（恒为真），那么就称A与B是等值的，记作AB。所以说当一个等价式是重言式的时候，称其前件与后件是等值的。例如：判断┐（p∨q）与┐p∧┐q是否等值即判断┐（p∨q）┐p∧┐q是否是重言式，通过真值表可发现┐（p∨q）┐p∧┐q的逻辑值恒为1，所以┐（p∨q）┐p∧┐q是重言式，即┐（p∨q）与┐p∧┐q等值
