Полиэдральные классы функций $k$-значной логики с обобщенными запретами и полузапретами

Изучаются связи между булевыми функциями с обобщенными запретами – комбинациями, которые не могут появиться на выходе фильтрующего генератора, – и построенными на их основе методом растяжения классами функций $k$-значной логики. Устанавливается, что обобщенный запрет булевой функции может трансформироваться при переходе в $k$-значную область как в обобщенный запрет, так и в обобщенный полузапрет – комбинацию, при которой определяются или локализуются значения отдельных поступающих на фильтрующий генератор неизвестных.