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