ТЕОРЕМА (О разложении булевой функции по переменным) — КиберПедия 

Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...

Наброски и зарисовки растений, плодов, цветов: Освоить конструктивное построение структуры дерева через зарисовки отдельных деревьев, группы деревьев...

ТЕОРЕМА (О разложении булевой функции по переменным)

2017-12-12 319
ТЕОРЕМА (О разложении булевой функции по переменным) 0.00 из 5.00 0 оценок
Заказать работу

 
F (x1,…, xm, x m+1,…,xn)

 

где дизъюнкция берется по всем возможным наборам (s1,…,sм).

 

ДОКАЗАТЕЛЬСТВО

 
 

 


ЗАМЕЧАНИЕ

Здесь доказывается, что некоторая формула реализует заданную функцию. Для этого до­статочно взять произвольный набор значений аргументов функции, вычислить на этомнаборе значение формулы, и если оно окажется равным значению функции на этом на­боре аргументов, то из этого следует доказываемое утверждение.

Дизъюктивные и конъюнктивные нормальные формы формул. Совершенные формы формул

Дизъюнкти́внаянорма́льнаяфо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любаябулева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем.

Пример ДНФ:

Конъюнкти́внаянорма́льнаяфо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ.[1] Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.

Пример КНФ:

Совершенная конъюнктивная нормальная форма, СКНФ (англ. perfectconjunctivenormalform, PCNF) — это такая КНФ, которая удовлетворяет условиям: § в ней нет одинаковых простых дизъюнкций § каждая простая дизъюнкция полная

Пример СКНФ:

Соверше́ннаядизъюнкти́внаянорма́льнаяфо́рма (СДНФ) — это такая ДНФ, которая удовлетворяет трём условиям:

· в ней нет одинаковых элементарных конъюнкций

· в каждой конъюнкции нет одинаковых пропозициональных букв

· каждая элементарная конъюнкция содержит каждую пропозициональную букву из входящих в данную ДНФ пропозициональных букв, причём в одинаковом порядке.

Любая булева формула, не являющаяся тождественно ложной, может быть приведена к СДНФ, причем единственным образом[1], то есть для любой выполнимой функции алгебры логики существует своя СДНФ, причём единственная.

Совершенная ДНФ этой функции:

 

Полнота систем логических функций. Пример полных систем. Свойства линейности, двойственности и монотонности логических функций

Полнота систем логических функций и пример

Определение. Множество функций N называется функционально полной системой (ФПС), если любая булева функция представима суперпозицией функций из N.

Договоримся опускать аргументы при перечислении функций множества N и рассматривать термин ''система'' в данном контексте как синоним множества.

Пример 1. Множество N1={ , , } является функционально полной системой, так как любую булеву функцию, кроме константы 0, можно представить совершенной ДНФ, то есть суперпозицией функций из N1 а константу 0 – формулой xx. •

Пример 2. Множество N2={ , , 1} является ФПС, так как любую булеву функцию можно представить полиномом Жегалкина, то есть суперпозицией функций из N2, а полином 0 – формулой 1 1. •

Следующая теорема позволяет сводить вопрос о функциональной полноте одних систем к вопросу о полноте других систем.

Теорема о двух функционально полных системах. Если даны два множества N1 и N2 булевых функций и известно, что N1 – функционально полная система, а каждая функция из N1 представима суперпозицией функций из N2, то N2тоже является функционально полной системой.

Доказательство. Рассмотрим произвольную булеву функцию f(x1, …, xn). Она может быть представлена суперпозицией функций из множества N1={f0,f1…, fm}, так как N1 – ФПС:

f(x1, …, xn)=f0(f1(x1, …, xn), …, fm(x1, …, xn)).

По условию теоремы каждая из функций f0, f1 …, fm может быть представлена суперпозицией функций из N2, значит, функция f(x1, …, xn) представима суперпозицией функций из N2, следовательно, N2 – ФПС. •

Пример 1. N1={ , , }, N2={ , }. Как показано ранее, N1 – ФПС. Конъюнкция и инверсия содержатся в N2, а дизъюнкция представима суперпозицией функций из N2: x y = , значит, N2 – ФПС. •

Пример 2. N1={ , }, N2={↓ }. Как показано в предыдущем примере, N1 – ФПС. Инверсия и конъюнкция могут быть представлены суперпозицией стрелки Пирса: x = x↓ x, xy = = (x↓ x)↓ (y↓ y), следовательно N2 – ФПС. •

Двойственная функци

Пусть имеем функцию f (a,b,c). Двойственной для нее является функция f *= , т.е. функция, в которой все аргументы и сама функция инвертированы.

Пример 2:

;

;

– самодвойственная функция;

– самодвойственная функция;

, = = =

= – самодвойственная функция.

Таким образом, для самодвойственной функции можно записать

f (a, b, c) = .

Монотонная функция

Выше мы установили для входных наборов отношение предшествования: Входной набор предшествует набору (обозначается это так ), если .

функция монотонна, если для любых двух наборов таких, что они отвечают условиям, имеет место .

Если хотя бы для одной пары таких наборов это не выполняется, то функция не монотонна. Например, функции монотонны, а функция не монотонна.

Замечание: Любая монотонная логическая функция может быть представлена в форме без инверсий.

Линейная функция

Функция называется линейной, если ее можно представить полиномом Жегалкина в виде суммы по модулю 2 константы a 0и переменных xi, умноженных на постоянные коэффициенты:

, – линейная функция.

– нелинейная функция, так как есть произведение переменных.

 

5. Понятие замкнутости систем логических функций. Замкнутость классов Т0, Т1, L, S, M.

Класс логических функций (множество логических функций) называется замкнутым, если любая суперпозиция функций этого класса снова будет функцией этого же класса. Основными замкнутыми классами логических функций являются классы линейных, самодвойственных, монотонных, сохраняющих константу 0 и 1 функций. Эти классы имеют специальные обозначения и обозначаются соответственно: L, S, M, T0, T1. При помощи основных замкнутых классов логических функций можно установить полноту систем логических функций,


Поделиться с друзьями:

История создания датчика движения: Первый прибор для обнаружения движения был изобретен немецким физиком Генрихом Герцем...

Историки об Елизавете Петровне: Елизавета попала между двумя встречными культурными течениями, воспитывалась среди новых европейских веяний и преданий...

Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...

Типы оградительных сооружений в морском порту: По расположению оградительных сооружений в плане различают волноломы, обе оконечности...



© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!

0.017 с.