25. Булева логика
Разработанный Джорджем Булем, это систематический способ кодирования логических значений ( True
и False
) в переменные и выполнения над ними операций (как в алгебре).
Булевы переменные можно комбинировать с помощью логических вентилей.
Логические вентили выполняют логическую операцию на одном или нескольких двоичных входах и создают один двоичный выход.
В компьютере логические вентили реализованы с использованием диодов и транзисторов.
Такие логические элементы можно комбинировать для формирования логических схем в таких устройствах, как мультиплексоры, регистры, арифметико-логические устройства (ALU), компьютерная память и микропроцессоры.
Операции, выполняемые логическими вентилями, можно обобщить с помощью таблиц истинности.
0 и
1
в таблице истинности представляют состояния выключено и включено соответственно.
Обычно используются следующие логические элементы:
НЕ ворота/ инвертор
Он инвертирует/инвертирует переданный ему ввод.
Это ворота, для которых требуется только один вход.
Логическая операция NOT
представлена оператором отрицания (¬
).
Таблица истинности ворот NOT
выглядит следующим образом:
И Ворота
Этот вентиль выполняет логическую операцию соединение.
Эта операция представлена ∧
.
Таблица истинности ворот AND
выглядит следующим образом:
ИЛИ Ворота
Этот вентиль выполняет логическую операцию дизъюнкции.
Эта операция представлена ∨
.
Таблица истинности ворот OR
выглядит следующим образом:
Ворота И-НЕ
Это дополнение ворот AND
.
Ворота НО
Это дополнение к воротам OR
.
XOR-ворота
Также называемый элементом исключающего ИЛИ, он представляет функцию неравенства (выход равен True
, если входные данные не равны, и наоборот).
XNOR ворота
Это дополнение к воротам XOR
.
Таблицы истинности для всех вентилей, описанных выше, можно резюмировать следующим образом:
26. Законы Де Моргана
Эти законы, названные в честь Августа де Моргана, заключаются в следующем:
В вышеуказанных законах
.
представляет логическую операциюAND
+
представляет логическую операциюOR
- верхняя черта представляет операцию
NOT
≡
означает «идентично».
С учетом множеств законы Де Моргана можно представить с помощью диаграмм Венна следующим образом:
Ознакомьтесь с другими частями этой серии ниже:
Спасибо, что прочитали эту статью!