真值表條件(truth-table condition)亦稱tt條件.遞歸論術語.它是為定義真值表化歸與受界真值表化歸定義的.一個k範數tt條件是指序偶:((二:，二:}...}xk)}a)，其中二:，二:，... } xk為自然數，a為k元布爾函式.A滿足tt條件<}x}，二:}...}x.k)}a)，是指a(CA(二;}fCA(二:)，…，C。(二壽))=l，其中C.A為A的特徵函式.
真值表條件(truth-table condition)亦稱tt條件.遞歸論術語.它是為定義真值表化歸與受界真值表化歸定義的.一個k範數tt條件是指序偶:((二:，二:}...}xk)}a)，其中二:，二:，... } xk為自然數，a為k元布爾函式.A滿足tt條件<}x}，二:}...}x.k)}a)，是指a(CA(二;}fCA(二:)，…，C。(二壽))=l，其中C.A為A的特徵函式.
布爾函式一般可看成真值表，真值表條件與真值表化歸由此得名.所有(各個元數的)tt條件可以被能行編碼，因此，在具體套用時，“tt條件二”一般指編碼為x的tt條件.
布爾函式一般可看成真值表，真值表條件與真值表化歸由此得名.所有(各個元數的)tt條件可以被能行編碼，因此，在具體套用時，“tt條件二”一般指編碼為x的tt條件.
