Минимизация логических функций. Карты Карно.