Определение. Булева функция (формула логики высказываний) F называется частично (не всюду) определённой, если не для всех возможных наборов значений входящих в функцию F перемен­ных указаны её значения. Алгоритм минимизации частично определенных функций в классе дизъюнктивных нормальных форм (ДНФ) включает в себя следующие шаги. Шаг 1. Доопределить булеву функцию F нулями на тех наборах значений пе­ременных, где она не определена. Полученную булеву функцию обозначить через F0. Шаг 2. Построить совершенную дизъюнктивную нормальную форму (СДНФ) булевой функции F0...

В лекции сформулируем основные понятия, связанные с булевыми функциями, а также представим алгоритм построения сокращённой булевой функции. Заметим, что: Способы задания булевых функций Способ 1. При задании булевых функций удобно пользоваться таблицами истинности, которые перечисляют всевозможные комбинации истинности и ложности булевых функций: Минимизация дизъюнктивных нормальных форм Определение. Булеву функцию G назовем импликантом булевой функции F, если для любых наборов значений аргументов этих функций из равенства G = 1 следует равенство F = 1...