Лекция: Логические операции.

Техническое устройство, выполняющее логические действия с двоичными числами, можно рассмотреть как некоторый функциональный преобразователь:

Любое сложное высказывание можно рассмотреть как логическую функцию, аргументами которой являются логические переменные (простые высказывания). На входах устройства есть некоторый набор логических сигналов — логических переменных, а на выходах набор сигналов — значений логических функций, полученных путём выполнения логических операций с входными логическими переменными. Устройство (комбинационную схему, состоящую из логических элементов) преобразователя мы пока не будем рассматривать, поэтому назовём её чёрным ящиком. Несмотря на то, что устройство преобразователя нам не известно, его работу можно описать с помощью таблицы истинности. Она показывает зависимость значений выходов от состояния входов (т.е. зависимость значений логических функций от значений логических переменных). Поясним это на примерах логических схем, реализующих базовые логические операцииинверсию (НЕ), конъюнкцию (И) и дизъюнкцию (ИЛИ).

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