Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Свойства констант




Дистрибутивность

Ассоциативность

Коммутативность

Алгебра Жегалкина

Иван Ива́нович Жега́лкин (22 июля (3 августа) 1869, Мценск, Российская империя — 28 марта 1947, Москва, СССР) — российский и советский математик и логик. Из его открытий наибольшую известность получил так называемый полином Жегалкина.

Множество булевых функций, заданных в базисе Жегалкина S4={⊕,&,1} называется алгеброй Жегалкина.

Основные свойства.

h1⊕h2=h2⊕h1 h1&h2=h2&h1

h1⊕(h2⊕h3)=(h1⊕h2)⊕h3 h1&(h2&h3)=(h1&h2)&h3

h1&(h2⊕h3)=(h1&h2)⊕(h1&h3)

h&1=h h&0=0

h⊕0=h

5. h⊕h=0 h&h=h
Утверждение. Через операции алгебры Жегалкина можно выразить все другие булевы функции:

¬x=1⊕x

xvy=x⊕y⊕xy

x∼y=1⊕x⊕y

x→y=1⊕x⊕xy

x↓y=1⊕x⊕y⊕xy

x|y=1⊕xy

Определение. Полиномом Жегалкина (полиномом по модулю 2) от n переменных x1,x2... xn называется выражение вида:

c0⊕c1x1⊕c2x2⊕... ⊕cnxn⊕c12x1x2⊕... ⊕c12... nx1x2... xn,

где постоянные Ck могут принимать значения 0 ли 1.

Если полином Жегалкина не содержит произведений отдельных переменных, то он называется линейным (линейная функция).

Например, f=x⊕yz⊕xyz и f1=1⊕x⊕y⊕z - полиномы, причем вторая является линейной функцией.

Теорема. Каждая булева функция представляется в виде полинома Жегалкина единственным образом.

Приведем основные методы построения полиномов Жегалкина от заданной функции.

1. Метод неопределенных коэффициентов. Пусть P(x1,x2... xn) - искомый полином Жегалкина, реализующий заданную функцию f(x1,x2... xn). Запишем его в виде

P=c0⊕c1x1⊕c2x2⊕... ⊕cnxn⊕c12x1x2⊕... ⊕c12... nx1x2... xn

Найдем коэффициенты Ck. Для этого последовательно придадим переменным x1,x2... xn значения из каждой строки таблицы истинности. В итоге получим систему из 2n уравнений с 2n неизвестными, имеющую единственное решение. Решив ее, находим коэффициенты полинома P(X1,X2... Xn).

2. Метод, основанный на преобразовании формул над множеством связок {¬,&}. Строят некоторую формулу F над множеством связок {¬,&}, реализующую данную функцию f(X1,X2... Xn). Затем заменяют всюду подформулы вида ¬A на A⊕1, раскрывают скобки, пользуясь дистрибутивным законом (см. свойство 3), а затем применяют свойства 4 и 5.

Пример. Построить полином Жегалкина функции f(X,Y)=X→Y

Решение.
1. (метод неопределенных коэффициентов). Запишем искомый полином в виде:

P=c0⊕c1x⊕c2y⊕c12xy

Пользуясь таблицей истинности импликации получаем, что

f(0,0)=P(0,0)=C0=1

f(0,1)=P(0,1)=C0⊕C2=1

f(1,0)=P(1,0)=C0⊕C1=0

f(1,1)=P(1,1)=C0⊕C1⊕C2⊕C12=1

Откуда последовательно находим, C0=1, C1=1, C2=0, C12=1

Следовательно: x→y=1⊕X⊕XY.

2. (Метод преобразования формул.). Имеем: x→y=¬xvy=¬(x¬y)=(x(y⊕1)) ⊕1=1⊕x⊕xy
Заметим, что преимущество алгебры Жегалкина (по сравнению с другими алгебрами) состоит в арифметизации логики, что позволяет выполнять преобразования булевых функций довольно просто. Ее недостатком по сравнению с булевой алгеброй является громоздкость формул.

 


* в математике a+(b c) ¹ ab + ac




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


Дата добавления: 2014-01-03; Просмотров: 803; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.01 сек.