27.Разложение булевых функций по переменным. Совершенная ДНФ и совершенная КНФ.
27. Разложение булевых функций по переменным. Совершенная ДНФ и совершенная КНФ.
Для булевой переменной x и параметра s выражение принимает значение 1 тогда и только тогда, когда Каждую функцию алгебры логики
где дизъюнкция берется по всем наборам переменных В частности при
а при
называемое совершенной ДНФ (ДНФ – дизъюнктивная нормальная форма). Таким образом, имеет место Теорема 1. Каждая булева функция может быть представлена в виде формулы через отрицание, дизъюнкцию и конъюнкцию. С помощью принципа двойственности находится представление:
называемое совершенной КНФ (КНФ – конъюнктивная нормальная форма).
Формулы 28. Полиномы Жегалкина. Не полностью определенные (частичные) булевы функции. Каждая булева функция единственным образом представима в виде полинома по
где суммирование проводится по всем подмножествам Булеву функцию n переменных называют неполностью определенной или частичной, если она определена не на всех двоичных наборах длины n. Неполностью определенная булева функция не попадает под определение булевой функции, но при произвольном доопределении (на всех наборах, на которых она не определена) это несоответствие снимается. Легко убедиться, что если булева функция f не определена на m наборах аргументов, то путем ее доопределения можно получить 2m различных полностью определенных функций. Существует не более чем 22n различных булевых функций n переменных. К этому выводу легко прийти, пользуясь простыми комбинаторными рассуждениями, и вспомнив, что на каждом из 2n наборов функции могут принимать два значения.
29. Виды ДНФ и КНФ: сокращенные, минимальные, кратчайшие, тупико-вые.
совершенная ДНФ (ДНФ – дизъюнктивная нормальная форма).
совершенная КНФ (КНФ – конъюнктивная нормальная форма). Формулы Формулы Импликантой функции ДНФ называется минимальной, если она содержит наименьшее число букв среди всех ДНФ, эквивалентных ей. ДНФ называется кратчайшей, если она имеет наименьшую длину среди всех ДНФ, эквивалентных ей. ДНФ называется тупиковой, если удаление из нее любой элементарной конъюнкции или буквы приводит к ДНФ, не эквивалентной исходной ДНФ.
Воспользуйтесь поиском по сайту: ![]() ©2015 - 2025 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...
|