Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Битюцкий / Пособиеавтоматы.doc
Скачиваний:
291
Добавлен:
23.02.2015
Размер:
1.54 Mб
Скачать

3.2.3. Самодвойственные функции

Определение.Для функцииf(x1,x2,…,xn)функция называетсядвойственнойк ней.

Обозначим двойственную функцию какf*.

Пример.Для функцииу)двойственной будет функция(ху) =xvy.

Можно показать, что двойственной функцией к f*будет функцияf,

значит для худвойственной будетху.

Двойственной к х будет функция, равнаях,двойственной к 0 будет 1.

Определение. Функция называетсясамодвойственной, если она равна своей двойственной.

Переменная xслужит примером самодвойственной функции, так же как и функция инверсии переменной.

Свойства самодвойственных функций.

  1. Таблица 3.1

    х

    у

    f1

    f2

    f3

    f4

    0

    0

    0

    0

    1

    1

    0

    1

    0

    1

    0

    1

    1

    0

    1

    0

    1

    0

    1

    1

    1

    1

    0

    0

    Самодвойственная функция полностью определяется своим видом на верхней половине таблицы истинности. Действительно, если, например, значение функции на наборе
    <1, 2, …, n> равно 0, то значение функции на инверсном наборе<1,2, …,n>должно быть равно 1.
  2. Из первого свойства вытекает, что число различных функций от nпеременных равно2m, гдеm=2n-1.

  3. Построим все функции от двух переменных. Их будет 4 в соответствии с возможными значениями на верхней половине таблицы: 00,01,10,11. Эти функции приведены в табл. 3.1. Как видно из таблицы, первые две функции совпадают с переменными, две последние – с инверсиями переменных. Отсюда следует свойство: самодвойственных функций, существенно зависящих ровно от двух переменных, нет.

  4. СДНФ самодвойственной функции будет иметь ровно 2n-1 конъюнкций

  5. Суперпозиция самодвойственных функций будет функциейсамодвойственной. Множество самодвойственных функций образуют класс, который принято обозначать как D. Базисом класса является функция трёх переменных{xy xz yz}.

3.2.4. Линейные функции

Рассмотрим классфункций, порождённых множествомF={xy, xy, 1}.

Из того, что x1=х, следует, что в данном базисе реализуется инверсия, которая вместе с конъюнкцией даёт возможность построить любую функцию. Значит, данный базис порождает класс всех функций – класс С.

Сравним таблицы функции сложения по модулю два и дизъюнкции (табл.3.2)

Таблица 3.2

а

в

ав

ав

0

0

0

0

0

1

1

1

1

0

1

1

1

1

1

0

Из таблицы видно, что аb = (а b) аb.

Если аивтакие, что имеет место равенствоав = 0, то такие переменные называютсяортогональными. Для ортогональных переменныхав = (ав).

Если рассматривать СДНФ любой функции, то можно показать, что в ней любая пара конъюнкций ортогональна. Это приводит к следующему алгоритму построения записи функции в рассматриваемом базисе:

  • записать функцию в СДНФ;

  • заменить в СДНФ символы дизъюнкции на символы сложения по модулю два;

  • заменить все инверсии по формуле х = (х1);

  • раскрыть скобки, пользуясь свойством дистрибуции х(yz) = xyxz;

  • сделать сокращения, используя свойство хх = 0, х0= х.

В результате получается запись функции в форме, которую представим в общем виде как

f=C0 C1x1 C2x2 Cnxn C(n+1)x1x2Cmx1x2xn,гдеС0, С1, С2,…Cmпринимают значения 0 или 1.

Это представление называется полиномом Жегалкина, а алгебра с сигнатурой{xy, xy, 1}алгеброй Жегалкина.

Пример. Построим полином Жегалкина для функции импликации. По её таблице запишем СДНФ этой функции:

ав =ав ав ав, после замены дизъюнкций на сложение по модулю два имеем:ав =ав ав ав=1)(в1)1)вав = =авав1аввав = ава1.

Определение. Функция называетсялинейной, если её полином Жегалкина не содержит конъюнкций.

Общий вид линейной функции f = C0 C1x1 C2x2 Cnxn.

Таким образом, число различных линейных функций от не более чем nпеременных определяется формулойN = 2n+1.

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

Базисом класса Lслужит множество{xy, 1}.

Соседние файлы в папке Битюцкий