用真值表来验证 是否为有效式。