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

X1 x2 x3 ...

или

X1  x2  x3 ... .

Для обозначения операции конъюнкции используется также символ &.

5. Функция y15дизъюнкция (логическое сложение, или операция ИЛИ) обращается в нуль только в том случае, если аргументы x1 и x2 одновременно равны нулю, и в единицу, если хотя бы один аргумент равен единице. Иными словами, функция дизъюнкции равна max(x1,x2). Обозначается дизъюнкция знаком “Ú”, который читается как ИЛИ. Значение дизъюнкции для заданных аргументов находится по правилам логического сложения:

В общем случае, функцию дизъюнкции можно определить для любого числа аргументов, т.е. x1 Ú x2 Ú x3 Ú... .

Существуют различные способы аналитического представления функций, приведенных в таблице. Наиболее распространенными формами являются дизъюнктивная нормальная форма и конъюнктивная нормальная форма. Если в этих функциях конъюнкции или дизъюнкции содержат все без исключения переменные в прямом или инверсном значении, то та­кая форма функций называется совершенной.

При дизъюнктивной нормальной форме записи наборы переменных, на которых функция принимает значение 1, записываются как конъюнкции (логи­ческое умножение) и связываются знаками логического сложения.

При такой форме записи функции y9 и y15 записываются в следующем виде:

y9 = x1x2; ;

При конъюнктивной нормальной форме записи наборы переменных, на которых функция принимает значение 0, записываются как конъюнкции (логи­ческое сложение) и связываются знаками логического умножения.

Для этой формы записи:

6. Функция y8отрицание конъюнкции (операция И-НЕ), т.е. . Данная функция обращается в нуль только в том случае, если аргументыx1 и x2 одновременно равны единице, и в единицу, если хотя бы один из аргументов равен нулю:

.

Эту функцию называют также «штрих Шеффера».

7. Функция y2отрицание дизъюнкции (операция ИЛИ-НЕ), т.е. . Данная функция обращается в единицу только в том случае, если аргументыx1 и x2 одновременно равны нулю, во всех остальных случаях она равна нулю:

.

Эту функцию называют также «стрелка Пирса».

8. Функция y10(x1,х2) – эквивалентность (или равнозначность) переменных x1 и x2. Данная функция обращается в единицу в том случае, если совпадают значения аргументов x1 и x2; в остальных случаях она равна нулю. Обозначается эквивалентность знаком “~”, который читается “равнозначно”:

.

9. Функция y7отрицание эквивалентности (или неравнозначность) переменных x1 и x2. Запись читается как «x1 неравнозначно x2». Можно убедиться в том, что значение функции неравнозначности получается поразрядным сложением двоичных переменных x1 и x2 по модулю 2, т. е. без учета переносов в старший разряд.

.

10. Функция y12импликация x1 в x2, которая обращается в нуль только в том случае, если переменная x1 равна единице, а x2 – нулю; в остальных случаях функция импликации x1 в x2 равна единице. Данная функция обозначается x1 ® x2 и читается как “если x1, то x2”.

.

11. Функция y14импликация x2 в x1, которая обращается в нуль только в том случае, если переменная x2 равна единице, а x1 – нулю; в остальных случаях функция импликации x2 в x1 равна единице. Данная функция обозначается x2 ® x1 и читается как “если x2, то x1”:

.

12. Функция y5(x1,х2) – отрицание импликации x1 в x2, т. е. . Данную функцию можно рассматривать как функцию запрета со стороны входной переменнойx2. Это означает, что выходная функция обращается в 1 только в том случае, если входная переменная x2 равна единице, а x1 – нулю; в остальных случаях функция импликации x2 в x1 равна нулю:

.

13. Функция y3(x1,х2) – отрицание импликации x2 в x1, т. е. . Эта функция обращается в 1 только в том случае, если переменнаяx2 равна единице, а x1 – нулю, в остальных случаях функция импликации x2 в x1 равна нулю:

.

Рассмотренное табличное представление логических функций существенно усложняется с увеличением числа аргументов, например для трех аргументов будет = 256 логических функций. В этом случае, особенно при анализе и синтезе логических устройств компьютера, более удобным является аналитическое представление логических функций с помощью нормальных форм.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]