табличная сводимость

Мат. truth-table reducedness