Czytelnik znajdzie tu podstawowe definicje, twierdzenia oraz algorytmy minimalizacji wielowartościowych funkcji logicznych, stosowanych w metodyce projektowania i zarządzania.