Приводятся формальные построения на таблицах решений (ТР) с ограниченным входом и созданные на их основе алгоритмы проверки ТР на корректность и алгоритм минимизации, позволяющий получить новую ТР, эквивалентную исходной и близкую к оптимальной согласно некоторым критериям.
