191 .5　演绎-10.5.2　第二组规则：真值函数的等值式