用真值表检查有效性