141 .5.2 第二组规则：真值函数的等值式