Приложение 1. Отбор подсистемы m «близких» ДНФ из сбф с М бф

Компактность сбф будем характеризовать величиной

где:

p - число бф,

R - длина сбф (число разных конъюнкций),

- длина i-ой бф.

и чем больше S, тем больше одинаковых конъюнкций в сбф (больше «близость» ДНФ сбф).

Имея сбф с M > m бф можно поступать следующим образом:

1. Удаляя из сбф поочередно получим подсистемы для каждой из которых определим и выберем подсистему с максимумом S.

2. Если подсистема, полученная в пункте 1, имеет более m бф, процедура повторяется. При получении сбф с m бф работа заканчивается.