Переборные задачи, сводимые к решенным матричной логикой