Минимизация логических функций по таблице истинности