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