Подано методи математичної логіки (МЛ), які використовуються для розв'язання задач опису та проектування комбінаційних схем, автоматів та інших засобів електронно-обчислювальної техніки. Викладено основні поняття та означення МЛ, доведено основні закони логіки за допомогою таблиць істинності. Описано елементарні логічні функції, їх основні властивості та базові підходи до реалізації в електронних схемах. Розглянуто форми подання функцій алгебри логіки (ФАЛ), способи переходу до нормальних форм (НФ), побудови досконалої кон'юнктивної та диз'юнктивної НФ ФАЛ, функціонально повні системи булевих функцій. Наведено відомості про основні методи мінімізації логічних функцій (ЛФ) в різних базисах, не повністю визначених ЛФ та методи мінімізації систем булевих функцій.

• Кондратенко Наталія Романівна (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"