Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
KKR_logika_VSE.docx
Скачиваний:
2
Добавлен:
01.07.2025
Размер:
656 Кб
Скачать
☆

28. Дати характеристику перемикальних ф-ції двох змінних

Диз’юнкція конституент одиниці називається досконалою диз’юнктивною нормальною формою. Будь-яку логічну функцію можна подати в досконалій диз’юнктивній нормальній формі, яка є єдиною для цієї функції.

Для знаходження ДДНФ номери наборів, які набувають значення 1, записуються в двійковому коді, потім подаються у вигляді добутку змінних, в якому над аргументами, які дорівнюють нулю, ставиться знак заперечення. Набори цих добутків об’єднуються знаком диз’юнкції

Існує шістнадцять різнихпереключательних функцій двох аргументів, кожна з яких визначено на чотирьох наборах. Ці функції представлені у табл. 2.

До шістнадцятипереключательних функцій входять функції, розглянуті в п.1:

>f0(>x,y) = 0 — константа нуль;

>f15(>x,y) = 1    — константа одиниця;

>f3(>x,y) = x —змінна x;

>f5(>x,y) = y —змінна y;

>f12(>x,y) = —інверсія x;

>f10(>x,y) = —інверсія y;

Таблиця 2

>Переключательние функції двох аргументів

x

0

0

1

1

Назва функції

Позначення

y

0

1

0

1

>f0(>x,y)

0

0

0

0

>Константа нуль

0

>f1(>x,y)

0

0

0

1

Твір (сполучення)

>xy; x>y;x&y

>f2(>x,y)

0

0

1

0

Функція заборони по y

xDy

>f3(>x,y)

0

0

1

1

>Переменная x

x

>f4(>x,y)

0

1

0

0

Функція заборони по x

yDx

>f5(>x,y)

0

1

0

1

>Переменная y

y

>f6(>x,y)

0

1

1

0

Сума по модулю 2 (логічна нерівнозначність)

x>y

>f7(>x,y)

0

1

1

1

Логічне складання (диз'юнкція)

>x+y; x>y

>f8(>x,y)

1

0

0

0

Операція Пірса (стрілка Пірса)

x>y

>f9(>x,y)

1

0

0

1

>Эквивалентность (логічна рівнозначність)

x~y

>f10(>x,y)

1

0

1

0

>Инверсия y

>f11(>x,y)

1

0

1

1

 >Импликация від y до x

y®x

>f12(>x,y)

1

1

0

0

>Инверсия x

>f13(>x,y)

1

1

0

1

>Импликация від x до y

x®y

>f14(>x,y)

1

1

1

0

Операція Шеффера (штрих Шеффера)

x>y

>f15(>x,y)

1

1

1

1

>Константа одиниця

1