2.1.1. Понятие о логической функции и цифровом устройстве.

Переключательные функции одной и двух переменных

В цифровой технике для обозначения понятий, предметов, действий
пользуются кодовыми словами. «Кодовое» слово в цифровой технике это
определенной длины последовательность символов «0» и «1». Если длина
кодовых слов составляет n разрядов, то можно построить 2 n различных
комбинаций – кодовых слов.
Информация, которая передается между отдельными узлами (блоками)
сложного цифрового устройства, представляется в виде кодовых слов. Таким
образом, на входы каждого узла поступают кодовые слова, на выходе узла
образуется новое кодовое слово, представляющее собой результат обработки
входных слов.
Если аргументы и функция могут принимать значения «лог. О» и «лог.
1», будем эти функции называть функциями алгебры логики (ФАЛ).
Цифровые устройства (либо их узлы) можно делить на типы по
различным признакам.
По способу ввода и вывода кодовых слов различают логические
устройства последовательного, параллельного и смешанного действия.
По способу функционирования логические устройства (и их схемы)
делят на два класса: комбинационные устройства (и соответственно
комбинационные схемы) и последовательностные устройства
(последовательностные схемы).
В комбинационном устройстве (называемом также автоматом без
памяти) каждый символ на выходе «лог. О» или «лог. 1» определяется лишь
символами «лог. О» или «лог.1», действующими в данный момент времени
на входах устройства, и не зависит от того, какие символы ранее действовали
на этих входах.
В последовательностных устройствах (или автоматах с памятью)
выходной сигнал определяется не только набором символов, действующих
на входах в данный момент времени, но и внутренним состоянием
устройства.
Логические функции, также как и математические, могут задаваться
аналитически (в виде логического выражения) и табличным способом.
Таблицы для логических функций называют таблицами истинности. Таблица
истинности позволяет определять значение функции для любых значений
аргументов.
Если число аргументов функции равно n, то число различных
сочетаний (наборов) значений аргументов составляет 2n. Если число

аргументов функции равно n, то можно составить различных функций.

Существует 4 функции одного аргумента. Функции одного аргумента
представляются следующими выражениями:

Для двух аргументов существует 16 логических функций. Среди

которых главными являются дизъюнкция и конъюнкция.
 1. Дизъюнкция переменных Х1, Х2 равна единице, когда Х1 или Х2 или
оба аргумента равны единице. Иначе эта функция называется логическое
сложение или операция «ИЛИ»
Х1 Х2

Х1 0 0 1 1
Х2 0 1 0 1
Y 0 1 1 1

Конъюнкция переменных Х1, Х2 равна единице, когда Х1 и Х2 равны

2.
единице. Иначе эта функция называется логическое умножение или операция
«И»
X1&X2 , X1 X2
Х1 0 0 1 1
Х2 0 1 0 1
Y 0 0 0 1

3. Логическое ИЛИ-НЕ; стрелка Пирса; функция Вебба; отрицание

дизъюнкции
Х1 Х2 = X 1 X 2
Х1 0 0 1 1
Х2 0 1 0 1
Y 1 0 0 0

4. Логическое И-НЕ; элемент (штрих) Шеффера; отрицание

конъюнкции
Х1 / Х2= X 1∧ X 2
Х1 0 0 1 1
Х2 0 1 0 1
Y 1 1 1 0

5. Импликация
 Х1 Х2= X 1 X 2
Х1 0 0 1 1
Х2 0 1 0 1
Y 1 1 0 1

6. Запрет
Х1 Х2=X1& X 2

Х1 0 0 1 1
Х2 0 1 0 1
Y 0 0 1 0

7. Сумма по модулю 2; неравнозначность; исключающее ИЛИ

Х1 Х2= (X1 X2) ( X 1 X 2)
Х1 0 0 1 1
Х2 0 1 0 1
Y 0 1 1 0

8. Эквивалентность , логическая равнозначность

Х1 Х2 = ( X 1 X 2)(X1 X 2)

Х1 0 0 1 1
Х2 0 1 0 1
Y 1 0 0 1

х 0 1 не Х Логическое НЕ;
 1 0 инверсия; логическое
отрицание

В таблице 2.1.3 приведены таблицы истинности всех функций двух

аргументов.
Таблица 2.1.3
Аргументы Функции
Х1 Х2 F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 о 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
Из таблицы видим, что указанные функции соответствуют логическим
выражениям:

Остальные из приведенных в таблице 1.4 функций не представляют

практического интереса: f0 (x1, x2)=0, f3 (x1, x2)= x1, f5 (x1, x2)= x2, f15 (x1, x2)=1.