Понятие совершенно дизъюнктивной и конъюнктивной нормальных форм для логического выражения
СДНФ (Совершенная Дизъюнктивная Нормальная Форма) — это такая ДНФ, которая удовлетворяет трём условиям:
1. в ней нет одинаковых элементарных конъюнкций
2. в каждой конъюнкции нет одинаковых пропозициональных букв
3. каждая элементарная конъюнкция содержит каждую пропозициональную букву из входящих в данную ДНФ пропозициональных букв, причем в одинаковом порядке.
СКНФ (Совершенная Конъюнктивная Нормальная Форма) — это такая КНФ, которая удовлетворяет трём условиям:
1. в ней нет одинаковых элементарных дизъюнкций
2. в каждой дизъюнкции нет одинаковых пропозициональных букв
3. каждая элементарная дизъюнкция содержит каждую пропозициональную букву из входящих в данную КНФ пропозициональных букв.
Принципиальные схемы логических элементов для различных типов цифровых микросхем ТТЛ, КМОП.
Смотри лекцию 12.
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | Поиск по сайту:
|