2015-10-16
1477
По аналогии с обычной алгеброй алгебра логики основывается на трех базовых логических операциях. С их помощью можно реализовать любой логический автомат:
Логическое сложение (дизъюнкция). Называется также функцией ИЛИ. Она принимает единичное значение, когда хотя бы один из аргументов ИЛИ х 1, или х 2равен единице. В результате таблица истинности логического сложения имеет следующий вид:
| x 1\ x 2 | ||
Аналитически операция обозначается символом 
или символом + и описывается формулой
.
Логическое умножение (конъюнкция). По другому функция И принимает единичное значение, когда одновременно оба аргумента и x 1, и х 2 равны единице. В результате таблица истинности логического сложения имеет следующий вид:
| x 1\ x 2 | ||
Аналитически операция обозначается символом 
или символом умножения в виде точки, которая иногда просто опускается для упрощения записи. Эти варианты операции отражаются формулой
.
Инверсия, иначе называемая функцией Не принимает значения, противоположные аргументу х. Аналитически операция обозначается чертой над инвертируемой переменной
|
|
|
.
Достаточно популярна также функция называемая Исключающее ИЛИ. Эта функция повторяет функцию ИЛИ при всех значениях аргументов кроме случая x 1= x 2=1.
В цифровых устройствах техническую реализацию логических функций осуществляют устройства называемые логическими элементами. Логические элементы часто называются по выполняемым ими функциям. Если элемент выполняет сразу несколько функций, они записываются через тире. Условные графические обозначения (УГО) наиболее распространенных элементов НЕ, И, ИЛИ, И-НЕ, ИЛИ-НЕ, исключающее ИЛИ, исключающее ИЛИ- НЕ показаны на рис. 1.
Рис.1
УГО элементов цифровой техники строят на основе прямоугольника. Функциональное назначение указывают в верхней части основного поля. Входы изображают слева, они помечены буквами х, выходы у — справа. Инверсные входы либо инверсные выходы обозначают кружочком.
В зарубежной литературе принято логические элементы обозначать в другом виде (рис. 2).
Рис.2
Практика показала нецелесообразность выпуска логических элементов, реализующих все возможные логические функции. Тем более что с ростом числа переменных число логических функций сильно возрастает. В дальнейшем будет показано, каким образом можно реализовать любую сложную логическую функцию, используя ограниченный набор элементарных логических функций.
