Моделирование и исследование электронных устройств в системе Electronics Workbench. Нефедьев А.И - 75 стр.

      В алгебре логики высказывания могут быть простыми и
сложными. Высказывание, значение истинности которого не зависит
от значений истинности других высказываний, называется простым.
При анализе и синтезе логических схем простое высказывание
рассматривается как независимая переменная, принимающая два
значения: 0 и 1. Высказывание Y(X1, X2, …, Xn), значение истинности
которого зависит от значения истинности других высказываний,
составляющих его, называется сложным и также может принимать
два значения: 0 и 1.
      При технической реализации переключательных функций
переменные X1, X2, …, Xn отождествляются с входящими сигналами,
поступающими         на   физическую       схему,     реализующую
переключательную функцию, а значение Y(X1, X2, …, Xn)
представляет собой выходной сигнал схемы. Совокупность значений
n переменных называется набором.
      Одной из распространенных форм задания переключательных
функций является таблица истинности, где переменные X1, X2, …,
Xn обычно располагаются в порядке возрастания двоичных чисел,
образованных набором. Для переключательной функции n
переменных существует m = 2 n различных наборов, на которые она
может принимать значение 0 или 1.
      В таблице 2 приведен полный перечень функций двух
аргументов. Функции, образованные логическими переменными,
можно преобразовывать в соответствии с правилами или законами
алгебры логики. При этом стремятся минимизировать логическое
выражение, т.е. привести его к виду, удобному для практической
реализации на логических элементах.
     В электронных цифровых устройствах элементарные
логические операции над двоичными переменными реализуются
простыми логическими схемами, которые называются логическими
элементами или вентилями. Число входов логического элемента
соответствует числу переменных реализуемой им переключательной
функции. В таблице 3 приведены названия переключательной
функции двух переменных и логического элемента, реализующего
эту функцию, а также условное обозначение элемента (УГО)
структурных и функциональных схем цифровых устройств. В
последней графе этой таблицы даются некоторые названия
логических элементов, которые встречаются в отечественной и
зарубежной литературе.
     Основное требование, предъявляемое к функционально полному
набору логических элементов, состоит в том, чтобы с помощью этого
набора можно было построить любую сложную логическую схему.