Использовал оптимизатор карт Карно - ПО, которое по заданному
ограниченному наборы сопоставлений входных и выходных данных, даёт
самое короткое логическое выражение для достижения заданного
результата. Применил при разработке конечного автомата управления пропорциональной задвижкой.