Логические основы цифровой интегральной электроники

Функционирование любой цифровой системы происходит в двоичной системе счисления, оперирующей только двумя цифрами: нуль (0) и единица (1). В данном случае имеется в виду логические нуль и единица.

Математический аппарат, на основе которого осуществляется описание цифровых схем, – это алгебра логики, или, как ее еще называют по имени автора – английского математика Джорджа Буля (1815-1864), булева алгебра. В практических целях первым применил ее американский ученый Клод Шеннон в 1938 году при исследовании электрических цепей с контактными выключателями.

Предметом рассмотрения алгебры логики является утверждение, которое может быть либо истинным, либо ложным. Принято “истинно” обозначать цифрой 1, “ложно” – цифрой 0.

Простые утверждения, объединенные логическими операциями, образуют сложные утверждения. Если простые утверждения обозначить буквами, например, A, B, C, …, а сложные буквой F, то, используя законы алгебры логики, можно описать математически сколь угодно сложную цифровую схему.

В алгебре логики известны три основные логические операции:

Логическое умножение (конъюнкция или операция И). Записывается как F = A /\ B, F = A·B, F = AB, читается: A и B. Операция обозначает, что сложное высказывание истинно лишь тогда, когда истинны все простые высказывания.

Логическое сложение (дизъюнкция или операция ИЛИ). Записывается как F = A \/ B, F = A+B, читается: F = A или B. Обозначает, что сложное высказывание истинно, если истинно хотя бы одно из простых высказываний, и тем более, если истинны оба.

Логическое отрицание (инверсия или операция НЕ). Записывается F = Ā , читается – F = “не” A. Операция обозначает, что сложное высказывание истинно, если простое ложно, и наоборот.

Словесное описание приведенных логических операций можно свести к их табличному (табл. 1) описанию или заданию:

Таблица 1

Аргументы

(простые высказывания)

Логические операции (булевы функции)

ИЛИ

НЕ

A /\ B

A \/ B

Таким образом, выполнение сколь угодно сложной логической операции может быть сведено к трем вышеперечисленным операциям. Следовательно, имея некоторые технические устройства, реализующие операции И, ИЛИ, НЕ, можно построить сколь угодно сложное цифровое устройство. Такие устройства называются соответственно логическими элементами И, ИЛИ, НЕ (рис. 2) и образуют основной базис или функционально полную систему логических элементов.

а б в

Рис. 2. Условное обозначение логических элементов на электрических схемах: И (а), ИЛИ (б), НЕ (в)

В интегральной цифровой электронике широко используются элементы других базисов: ИЛИ – НЕ (стрелка Пирса A↓B), а также И – НЕ (штрих Шеффера A│B), каждый из которых также является функционально полной системой элементов.

Знаете ли Вы, в чем фокус эксперимента Майкельсона?

Эксперимент А. Майкельсона, Майкельсона - Морли - действительно является цирковым фокусом, загипнотизировавшим физиков на 120 лет.

Дело в том, что в его постановке и выводах произведена подмена, аналогичная подмене в школьной шуточной задачке на сообразительность, в которой спрашивается:
- Cколько яблок на березе, если на одной ветке их 5, на другой ветке - 10 и так далее
При этом внимание учеников намеренно отвлекается от того основополагающего факта, что на березе яблоки не растут, в принципе.

В эксперименте Майкельсона ставится вопрос о движении эфира относительно покоящегося в лабораторной системе интерферометра. Однако, если мы ищем эфир, как базовую материю, из которой состоит всё вещество интерферометра, лаборатории, да и Земли в целом, то, естественно, эфир тоже будет неподвижен, так как земное вещество есть всего навсего определенным образом структурированный эфир, и никак не может двигаться относительно самого себя.

Удивительно, что этот цирковой трюк овладел на 120 лет умами физиков на полном серьезе, хотя его прототипы есть в сказках-небылицах всех народов всех времен, включая барона Мюнхаузена, вытащившего себя за волосы из болота, и призванных показать детям возможные жульничества и тем защитить их во взрослой жизни. Подробнее читайте в FAQ по эфирной физике.

Аргументы (простые высказывания)		Логические операции (булевы функции)
А	В	И	ИЛИ	НЕ
А	В	A /\ B	A \/ B
0	0	0	0	1	1
0	1	0	1	1	0
1	0	0	1	0	1
1	1	1	1	0	0