7.4 真值表与等值演算