Кроме приведенных выше трех элементарных логических функций практический интерес представляют еще 13. В таблице №2 приведены 16 простейших функций двух переменных х1 и х2.
Таб.2
Функ-ции
х1х2
Обозначение функции
F0
константа нуль
F1
конъюнкция (и) - х1х2
F2
запрет первого аргумента - х1х2
F3
повторение первого аргумента – х1
F4
запрет второго аргумента - х1х2
F5
повторение второго аргумента – х2
F6
сложение по модулю 2 (исключающее или)- х1х2+ х1х2
F7
дизъюнкция (или) – х1+х2
F8
функция Пирса (или-не) – х1+х2
F9
равнозначность (искл. или-не)
F10
инверсия x2 (не)
F11
импликация от 1-го до2-го – х1+х2
F12
инверсия x1 (не)
F13
импликация от 2-го до1-го – х1+х2
F14
функция Шеффера (и-не) – х1х2
F15
константа единица
8.3. Принцип двойственности.
Рассмотрим таблицы истинности для функций И и ИЛИ. Нетрудно заметить, что таблицы легко взаимно трансформируются. Действительно, если параметры и функцию Иинвертировать, а конъюнкцию заменить дизъюнкцией, получим определение функции ИЛИ.
Свойство взаимного преобразования постулатов конъюнкции и дизъюнкции называется принципом двойственности. Именно поэтому законы алгебра логики представлены в двух формах записи: конъюнктивной и дизъюнктивной. Принцип двойственности имеет большое практическое значение, сокращая до двух (И+НЕ или ИЛИ+НЕ) количество элементарных функций, необходимых для построения сложных логических выражений.
Вводя понятие логической функции в начале лекции (см.рис.1), мы представляли логическое устройство, реализующее эту функцию, в виде «черного ящика». В действительности устройство состоит из набора электронных схем, причем вид логической функции и состав набора схем связаны определенным образом. Аналогично тому, как сложное логическое выражение можно составить из элементарных функций, сложное логическое устройство можно представит в виде комбинации элементарных логических элементов (схем). Соответственно каждой элементарной ФАЛ можно сопоставить электронную схему (логический элемент - ЛЭ). В таблице №3 приведены некоторые простейшие ФАЛ и эквивалентные логические элементы.