К.: РВЦ «Київський університет», 2008. Навчальний посібник для
студентів факультету кібернетики Київського національного
університету.
Зміст.
Булеві функції.
Елементарні булеві функції.
Булеві функції і формули.
Основні тотожності алгебри логіки.
Розклад булевої функції за змінними.
Алгебра формул і алгебра булевих функцій.
Канонічні форми булевих функцій.
Принцип двоїстості.
Проблема повноти для алгебри булевих функцій.
Алгебра Жегалкіна.
Замкнені класи булевих функцій.
Теорема про функціональну повноту.
Алгебра релейно-контактних схем.
Алгебра комбiнацiйних схем.
Проблема мiнiмiзацiї формул алгебри логiки.
Мінімальні, скорочені і тупикові диз’юнктивні нормальні форми булевих функцій.
Метод Квайна-Мак-Класкі побудови скороченої диз’юнктивної нормальної форми булевої функції.
Методи побудови мінімальних ДНФ булевої функції.
Інші методи мінімізації ДНФ булевих функцій.
Зміст.
Булеві функції.
Елементарні булеві функції.
Булеві функції і формули.
Основні тотожності алгебри логіки.
Розклад булевої функції за змінними.
Алгебра формул і алгебра булевих функцій.
Канонічні форми булевих функцій.
Принцип двоїстості.
Проблема повноти для алгебри булевих функцій.
Алгебра Жегалкіна.
Замкнені класи булевих функцій.
Теорема про функціональну повноту.
Алгебра релейно-контактних схем.
Алгебра комбiнацiйних схем.
Проблема мiнiмiзацiї формул алгебри логiки.
Мінімальні, скорочені і тупикові диз’юнктивні нормальні форми булевих функцій.
Метод Квайна-Мак-Класкі побудови скороченої диз’юнктивної нормальної форми булевої функції.
Методи побудови мінімальних ДНФ булевої функції.
Інші методи мінімізації ДНФ булевих функцій.