短語(yǔ)詞組短語(yǔ)truth h table 真值表truth -table looking-up 真值表查詢(xún)truth value table 真值表weak truth -table reducibility 弱真值表可化歸性 返回 truth table