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