3.4. Слабоопределенные бф.

Слабоопределенные или неполностью определенные БФ характеризуются следующими признаками:

1. число переменных n велико;

2. количество конституент 1 и 0 намного меньше

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