Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:СХТ САПР_2013 / Модули 1-2 / Лекция 2.ppt
Функционально полные системы двоичных функций
Операция суперпозиции
z=ƒ(y1,y2 )
y1=ƒ1(х1,х2)
y2=ƒ2(х3,х4)
=>
z=ƒ(x1,x2,x3,x4 )
Замена аргументов функции другими функциями
Функционально полной системой (ФПС) двоичных функций
Cовокупность двоичных функций,
с использованием которых может быть получена любая сколь угодно сложная двоичная функция любого конечного числа двоичных
аргументов в результате выполнения операций суперпозиции.
Двоичные ф-ции делятся на
|
Сохраняет 0 |
классы |
|||||
|
|
|
|
|
|
|
|
1. |
|
|
свойство класса: |
||||
|
|
|
|
|
|
|
|
2. |
Сохраняет 1 |
|
|
|
|
|
|
|
|
|
результат |
||||
3. |
Монотонная |
|
|
|
|||
|
|
|
|
суперпозиции - |
|||
4. |
Самодвойственная |
|
|
||||
|
|
это функция |
|||||
5. |
Линейная |
|
|
|
|
||
|
|
|
|
того же класса. |
|||
|
|
|
|
|
|
||
Класс 1. Сохраняет 0
*
Класс 2. Сохраняет 1
Класс 3. Монотонная
Класс 4. Самодвойственная
изменяет свое значение, когда изменяются значения всех ее
аргументов.
Класс 5. Линейная
если представима в виде линейного полинома :
= 0 или 1
