Трохимчук Р. М. Булеві функції : Навч. посіб. / Р. М. Трохимчук; Київ. нац. ун-т ім. Т.Шевченка. - К., 2001. - 82 c. - Бібліогр.: 10 назв. - укp.Висвітлено основні тотожності алгебри логіки, канонічні форми булевих функцій, мінімальні, скорочені та тупикові диз'юнктивні нормальні форми. Розглянуто проблему повноти для алгебри булевих функцій, а також питання мінімізації формул логіки. Описано теорему про функціональну повноту, метод Квайна - Мак-Класкі побудови скороченої диз'юнктивної нормальної форми (ДНФ) булевої функції, а також методи побудови мінімальних ДНФ. Освещены основные тождественности алгебры логики, канонические формы булевых функций, минимальные, сокращенные и тупиковые дизъюнктивные нормальные формы. Рассмотрены проблема полноты для алгебры булевых функций, а також проблема минимизации формул логики. Описана теорема о функциональной полноте, метод Квайна-Мак-Класки построения сокращенной дизъюнктивной нормальной формы (ДНФ) булевой функции, а также методы построения минимальных ДНФ. Індекс рубрикатора НБУВ: В123я73
Шифр НБУВ: ВА627080 Пошук видання у каталогах НБУВ
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|