Логические функции. Словесное, табличное, алгебраическое, схемное, графическое представление логических функций, страница 2

F4. Запрет по X1 (отрицание импликации, рис.1.19). Обозначается «D».

 


F6. Сложение по модулю 2 (исключающее ИЛИ, неравнозначность). Обозначается «Å».

Высказывание F=X1 Å Xистинно тогда и только тогда, когда истинно или X1 или X2.

В общем случае: Функция F (X1, X2,…,  X n)  равна единице, если равен единице только один аргумент (рис. 1.3.10, 1.3.11).


Рис. 1.3.10 Временные диаграммы операции сложение по модулю 2

Рис. 1.3.11 Обозначение операции сложение

по модулю 2. Элемент М2

F7. Логическая связка, соответствующая союзу «или», называется дизъюнкцией (операция «ИЛИ», логическое сложение). Она обозначается «Ú», или « + », или «È».

Высказывание F =X1+Xистинно тогда и только тогда, когда истинно, по крайней мере, одно из высказываний X1 или X2 (рис.1.3.12 -1.3.15).

В общем случае: Функция F (X1, X2,…,  X n)  равна единице, если равен единице хотя бы один аргумент (равна нулю, если равны нулю все аргументы).

                                                                                                            

Рис. 1.3.12 Временные диаграммы операции ИЛИ

Рис. 1.3.13 Реализация операции ИЛИ на нормально разомкнутых контактах К1 и К2 двух реле. При включении реле (1) контакт                                                                                                замыкается (1), и наоборот

Рис. 1.3.14 Реализация элемента 2 ИЛИ. При подаче на оба входа сигналов логического нуля диоды VD1, VD2 закрыты. На выходе потенциал U, равный нулю. Если хотя бы на один вход подать потенциал логической единицы, то соответствующий диод откроется и логическая единица появится на выходе.

Рис.1.3.15 Обозначение операции ИЛИ.

Элемент 2ИЛИ,

 где 2 - число входов

F8. Стрелка Пирса (отрицание дизъюнкции, операция ИЛИ-НЕ).

Обозначается «↓».

Функция F = X1Xистинна тогда и только тогда, когда значения

 всех переменных ложны (рис.1.3.16).

 


Рис. 1.3.16 Обозначение операции стрелка Пирса. Элемент 2ИЛИ-НЕ, где 2 - число входов

F9. Эквивалентность. Обозначается «~», или «º».

Высказывание X1~Xистинно тогда и только тогда, когда высказывания X1 и Xили одновременно истинны, или одновременно ложны (рис. 1.3.17).

Иначе: функция F = X1 ~ Xистинна, когда истинность X

влечет истинность Xи обратно, истинность Xвлечет

истинность X1 (справедливы высказывания  X1X2  и  X2X1).

 


Рис. 1.3.17 Обозначение операции и элемента эквивалентность

F14. Штрих Шеффера (отрицание конъюнкции, операция И-НЕ):

Обозначается «/».

Функция F = X1 / Xистинна тогда и только тогда, когда 

 истинны все переменные (рис.1.3.18).

 


Рис. 1.3.18 Обозначение операции штрих Шеффера. Элемент 2И-НЕ

  Элемент запрет по X1:                                      Элементы ЕСЛИ, ТО:

Рис. 1.3.19 Обозначение операции   запрет по X1. Элемент НЕТ

Рис. 1.3.20 Обозначение операции импликация.

Элементы ЕСЛИ, ТО

F0, F15. Константы 0 и 1. Специальных элементов для их генерации нет.

F3,F5.  Повторители переменных X1 и X2 (рис. 1.3.1).

F10, F12. Отрицание X1 и X2 (рис. 1.3.2).

Из таблицы 1.3.2 следует:

- Каждая функция с номером, изменяющимся от 0 до 7, является инверсной для функции с номером, изменяющимся от 15 до 8. Например, F0, F15 – константы 0 и 1 соответственно, являются инверсными друг другу. Те же соотношения между конъюнкцией F1 и штрихом Шеффера F14.

- Инверсия значений переменных ведет к инверсии функций.

- для получения одних функций могут использоваться другие.

Пример: реализовать функцию исключающее ИЛИ на элементах инверсии и эквивалентности (рис.1.3.21):

Рис. 1.3.21 Схема реализации функции исключающее ИЛИ

на элементах инверсии и эквивалентности

Среди операций многих переменных чаще всего упоминается функция мажор (обозначается символом #). Мажоритарные логические элементы используются для повышения надежности и помехоустойчивости цифровых устройств (рис. 1.3.22). Они имеют нечетное количество входов n, больше двух, и выход, состояние которого определяется по значению логических сигналов на большинстве входов (если больше единиц, то 1, если нулей – то 0):

 


Рис.1.3.22 Обозначение

операции мажор (n= 3)

Пример:

Составить логическое выражение и таблицу истинности для словесной формы задания логической функции:

Имеет ли яблоко красный цвет, если оно спелое и известно, что, если яблоко красное, то оно спелое?

 Обозначение: A: яблоко красное; B – яблоко спелое. Результат: F.

Первая посылка: если яблоко красное A, то оно спелое B.

Вторая посылка: яблоко спелое B.

Следствие: яблоко красное A.

 


С помощью данного выражения составлена таблица истинности (Табл. 1.3.3).

Таблица истинности                                                                                          Таблица 1.3.3

№ набора

A

B

AB

(AB)B

((AB)B)→A

F

1

0

0

1

0

1

1

2

0

1

1

1

0

0

3

1

0

0

0

1

1

4

1

1

1

1

1

1