Post (1944) introduced several strong reducibilities, so named because they imply truth-table reducibility.
Пост (1944) је представио неколико јаких смањења, тако названих зато што оне улазе у истиниту-табелу смањења.