真值表条件

真值表条件（truth-table condition）亦称tt条件，递归论术语。 它是为定义真值表化归与受界真值表化归定义的.一个k范数tt条件是指序偶:((二:，二:}...}xk)}a)，其中二:，二:，... } xk为自然数，a为k元布尔函数.A满足tt条件<}x}，二:}...}x.k)}a)，是指a(CA(二;}fCA(二:)，…，C。