短语词组短语truth h table 真值表truth -table looking-up 真值表查询truth value table 真值表weak truth -table reducibility 弱真值表可化归性 返回 truth table