Post (1944) introduced several strong reducibilities, so named because they imply truth-table reducibility.
Ο Post (1944) εισήγαγε αρκετές ισχυρές αναγωγισιμότητες, που ονομάστηκαν έτσι επειδή υπαινίσσονται τραπέζι αληθινής αναγωγισιμότητας.