Об одном критерии оптимальности алгоритма расшифровки монотонных булевых функций

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