真值表归约于

（计算机科学技术）

真值表归约于（truth-table reducible to），计算机科学技术名词，给定自然数集合 A，B ，如果 A 的特征函数可以通过查 B 的特征函数的函数表来计算，则称 A 真值表归约于 B 。