Логические выражения.

Логические выражения связывают значение логической функции со значениями логи­ческих переменных. Порядок действий в логических выражениях такой же, как и в обычных алгебраических выражениях.

Запись логических выражений обычно осуществляют в конъюнктивной или дизъюнк­тивной формах.

3. Логические функции.

Любое логическое выражение, составленное из n переменных c помо­щью операций алгебры логики, является логической функцией ппеременных. В соответствии с ак­сиомами алгебры логики функция может принимать значение 0 или 1. Основные логические функции для двух переменных х и у имеют следующий вид:

 

 

F 1 (x, у) = х • у - логическое умножение (конъюнкция),

F 2 (x, у) = х v у - логическое сложение (дизъюнкция),

_{_______}

F 3 (x, у) = х • у - логическое умножение с инверсией,

_{_________}

F 4 (x, у) = х v у - логическое сложение с инверсией.

4. Логические схемы.

Физическое устройство, выполняющее простейшую логическую функцию, называется логическим элементом. Схема, составленная из элементов, называется логической схемой.

5. Таблица истинности.

Любая логическая функции из п переменных может быть задана таблицей значений. Такие таблицы называют таблицами истиннос­ти. Таблица 2 является таблицей истинности, задающей указанные выше основные логические функции F1, F2, F3, F4 для двух переменных: X и Y.

Таблица 2

Значения переменных	Функции
X	Y	F l	F 2	F 3	F 4