§ 18. Логика и компьютер

Определения и обозначения

Логический сигнал — двоичный сигнал, принимающий одно из двух значений: 0 или 1. В электронной цепи эти обозначения соответствуют двум различимым состояниям, например низкому и высокому напряжению. Благодаря этому можно хранить и передавать данные, устойчиво распознавая их даже при небольших помехах.

Логический элемент — электронное устройство, выполняющее одну логическую операцию над входными сигналами. К основным операциям относятся И, ИЛИ и НЕ: каждая задаёт, каким будет выход при заданных входах. Такое устройство нужно, чтобы обрабатывать сигналы по понятным правилам.

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

Сумматор — логическая схема для сложения двоичных чисел с учётом переноса. При сложении разрядов иногда возникает единица, которую нужно передать в следующий разряд. Сумматор необходим, чтобы компьютер мог правильно складывать как отдельные биты, так и многоразрядные числа.

Как это устроено

Электронная цепь может находиться в двух устойчиво различимых состояниях, поэтому компьютеру удобно кодировать сигнал двумя значениями. Если бы для каждого значения требовался отдельный точный уровень напряжения, помеха могла бы изменить результат распознавания. Два состояния проще различать и восстанавливать, а их обозначения 0 и 1 позволяют применять к данным правила двоичной логики.

Транзистор — электронный компонент, который может управлять прохождением тока, работая как переключатель. Сочетая транзисторы в цепях, получают поведение логических операций: например, выходная цепь элемента И активируется, только когда выполнены все условия на входах. В элементе ИЛИ достаточно одного активного входа, а схема НЕ преобразует состояние сигнала в противоположное. Поэтому логические операции не остаются абстрактными правилами: их выполняют реальные электрические цепи.

Отдельные элементы соединяют так, чтобы выход одного поступал на вход следующего. Это нужно, когда для результата недостаточно одной операции: например, сначала сигнал можно инвертировать, а затем объединить с другим сигналом. В такой составной схеме промежуточные выходы становятся новыми сигналами, а итог определяется всей цепочкой преобразований.

Полусумматор складывает два двоичных разряда A и B. Бит суммы S равен A XOR B: он становится единицей, когда значения различаются. Перенос C равен A И B, потому что в следующий разряд нужно передать единицу только при сложении 1 и 1. Таким образом, разные логические операции одновременно формируют две части результата.

Для сложения многоразрядных чисел соединяют разрядные сумматоры. Перенос из младшего разряда поступает в следующий, потому что его значение относится уже к более высокому разряду. В полном сумматоре учитывают не только два складываемых бита, но и перенос, пришедший от предыдущего разряда. Так можно последовательно получить результат для чисел любой разрядности.

Основные логические элементы и их применение в компьютере

Чтобы пользоваться таблицей, сначала найди тип операции, затем подставь входные значения и проверь условие получения 1. Если набор входов другой, рассуждай по тому же правилу, а не только по приведённому примеру. Для сложной схемы вычисляй выходы элементов по очереди, двигаясь от входов к конечному результату.

Разбор задач

Задача 1. Выражение для схемы

Условие: два входа A и B поступают на элемент И, а его выход — вместе с входом C — на элемент ИЛИ. Нужно записать выражение и найти результат при A = 1, B = 0, C = 1, а также при A = 1, B = 1, C = 0. Сначала важно определить порядок действий по соединениям схемы, а не вычислять все входы одновременно. Промежуточный сигнал обозначим X.

1. Элемент И получает A и B, поэтому X = A И B.
2. Выход X и сигнал C входят в элемент ИЛИ, значит итог Y = X ИЛИ C = (A И B) ИЛИ C.
3. Для набора 1, 0, 1: X = 1 И 0 = 0, затем Y = 0 ИЛИ 1 = 1.
4. Для набора 1, 1, 0: X = 1 И 1 = 1, затем Y = 1 ИЛИ 0 = 1.

Ответ: Y = (A И B) ИЛИ C; при обоих заданных наборах выход равен 1. Последовательное вычисление промежуточного сигнала помогает не перепутать соединения. Оно также показывает, что результат каждого элемента можно использовать дальше как отдельный вход.

Задача 2. Сигнал равен 1 ровно для одного единичного входа

Условие: построить схему с входами A и B, которая выдаёт 1, если ровно один вход равен 1. Сначала выпишем случаи: подходят наборы 0, 1 и 1, 0, а наборы 0, 0 и 1, 1 не подходят. Это именно условие исключающего ИЛИ, поскольку оно выдаёт единицу, когда входы различаются.

1. Обозначим выход через Y и запишем правило: Y = A XOR B.
2. Если доступен элемент XOR, подключим к нему A и B; его выход будет Y.
3. Если нужны базовые элементы, запишем эквивалентное выражение: Y = (A И НЕ B) ИЛИ (НЕ A И B).
4. Проверим: при 0, 1 первая часть равна 1; при 1, 0 вторая часть равна 1. Для 0, 0 обе части равны 0, как и для 1, 1.

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

Задача 3. Полусумматор

Условие: построить схему для сложения двух разрядов A и B и определить сумму и перенос. Возможные наборы удобно перебрать, потому что каждый вход может быть либо 0, либо 1. Сумма и перенос должны вместе представить обычный результат сложения в двоичной записи.

1. Для бита суммы возьмём S = A XOR B: он равен 1, когда единица стоит только в одном входе.
2. Для переноса возьмём C = A И B: он равен 1 только при двух единицах.
3. При A = 0, B = 0 получаем S = 0, C = 0; при 0 и 1 — S = 1, C = 0.
4. При 1 и 0 получаем S = 1, C = 0; при 1 и 1 — S = 0, C = 1.

Ответ: полусумматор состоит из элемента XOR для суммы и элемента И для переноса. В последнем случае результат записывается как C S = 10, то есть два; перенос нельзя отбросить. Если разрядов несколько, этот сигнал направляют в следующий разряд сумматора.

Типичные ошибки

Ошибка: воспринимать логические 0 и 1 просто как обычные числа. В схеме они обозначают состояния сигнала, а арифметическое значение зависит от задачи: например, операция И — не обычное умножение чисел, хотя для двух битов результаты иногда совпадают. Так путаются, когда механически переносят правила арифметики на логику. Проверка: вернись к таблице истинности и выясни, какое правило задаёт конкретный элемент.

Ошибка: считать, что элемент И выдаёт 1 при любом единичном входе. Такое условие относится к ИЛИ; для И единицы должны быть на всех входах одновременно. Путаница возникает из-за похожих названий и идеи «объединения» условий. Проверь себя на наборе 1 и 0: И даёт 0, тогда как ИЛИ даёт 1.

Ошибка: считать обычное ИЛИ и исключающее ИЛИ одинаковыми. При двух единичных входах обычное ИЛИ даёт 1, а исключающее ИЛИ — 0, поэтому различие легко пропустить, если проверить только наборы с одной единицей. Причина ошибки — общее слово «ИЛИ» в названиях. Для самопроверки обязательно подставь входы 1 и 1.

Ошибка: не учитывать перенос при сложении двоичных разрядов. Тогда для 1 + 1 записывают только 0, хотя правильная двоичная запись результата — 10. Это происходит, если помнить о бите суммы, но забывать, что результат может затронуть следующий разряд. Проверь сложение переводом в десятичную систему или отдельно вычисли сигнал переноса.

Связь с другими темами

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

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

Что запомнить

• Компьютер обрабатывает информацию с помощью сигналов, имеющих два логических состояния.
• Логический элемент выполняет одну операцию над входными сигналами.
• Из логических элементов собирают схемы любой сложности.
• Элемент И даёт 1 только при единицах на всех входах.
• Элемент ИЛИ даёт 1 хотя бы при одном единичном входе.
• Исключающее ИЛИ даёт 1, когда входные значения различаются.
• Сумматор формирует бит суммы и перенос в следующий разряд.