Алгоритм минимизации булевой функции в классе нормальных форм Самостоятельная ра Число строк в таблице истинности