В общем после долгих поисков пришел к следующему. Гарвардский метод имеет и другое название -- метод минимизирующих карт. К сожалению, в рунете не так много ресурсов где этот метод детально и качетсвенно рассмотрен. Тем не менее мне все же удалось найти пару источников, заслуживающих внимания. В источниках, которые я приведу далее, на мой взгляд, данный метод минимизации переключательных функций описан лучше всего.
Итак, на кафедре программного обеспечения Ижевского Государственного Технического Университета имени Калашникова есть вот такая
методичка. В ней доступно и понятно рассмотрен данный метод.
Если в двух словах то суть состоит в следующем. Можно минимизировать переключательные функции методом неопределенных коэффициентов, а вот "гарвардский" метод, это тот же метод неопределенных коэффициентов, но в более компактном виде. Компактность получается за счет более удобного структурирования элементов СДНФ и особой техники исключения ненужных конъюнкий.
P. S. Оговоренный метод имеет, скорее, академический интерес и слабо применим в реальных производственных задачах.
