Post (1944) introduced several strong reducibilities, so named because they imply truth-table reducibility.
Post (1944) a introdus mai multe reducibilități tari, numite astfel pentru că ele implică reductibilitatea cu tabela de adevăr.