Лекция 3

Логические основы работы ЭВМ

Почему люди пользуются десятичной системой, а
компьютеры — двоичной?

РАНЕЕ В ЛЕКЦИЯХ
• для ее реализации нужны технические устройства с двумя
устойчивыми состояниями (есть ток — нет тока, намагничен
— не намагничен и т.п.), а не, например, с десятью, — как в
десятичной;
• представление информации посредством только двух
состояний надежно и помехоустойчиво;
• возможно применение аппарата булевой алгебры для
выполнения логических преобразований информации;
• двоичная арифметика намного проще десятичной
Алгебра логики — это раздел математики, изучающий
логические переменные, рассматриваемые со стороны их
логических значений (истинности или ложности) и
логических операций над ними

Совокупность логических переменных х1, …, хn

называется набором переменных

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

набора логических переменных F(х1, ..., хn) называется
функция, которая может принимать только два значения:
истина или ложь (1 или 0).
Cвязь между алгеброй логики и двоичным
кодированием

Основной системой счисления в компьютере является

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

Логический элемент компьютера — это часть

электронной логичеcкой схемы, которая реализует
элементарную логическую функцию.

Логическими элементами компьютеров являются

электронные схемы И, ИЛИ, НЕ, И—НЕ, ИЛИ—НЕ ), а
также триггер.
Схема И реализует конъюнкцию двух или более
логических значений

Связь между выходом z этой схемы и входами x и y

описывается соотношением: z = x & y

Таблица истинности схемы И

x y x&y
0 0 0
0 1 0
1 0 0
1 1 1
Схема ИЛИ реализует дизъюнкцию двух или более
логических значений

Связь между выходом z этой схемы и входами x и y

описывается соотношением: z = x v y

Таблица истинности схемы ИЛИ

x y xvy
0 0 0
0 1 1
1 0 1
1 1 1
Схема НЕ (инвертор) реализует операцию отрицания

Связь между входом x этой схемы и выходом z можно

записать соотношением z =
Таблица истинности схемы НЕ

x
0 1
1 0
Схема И—НЕ состоит из элемента И и инвертора и
осуществляет отрицание результата схемы И

Связь между выходом z и входами x и y схемы

записывают следующим образом:

Таблица истинности схемы И-НЕ

x y xvy
0 0 1
0 1 1
1 0 1
1 1 0
Схема ИЛИ—НЕ состоит из элемента ИЛИ и инвертора и
осуществляет отрицание результата схемы ИЛИ

Связь между выходом z и входами x и y схемы

записывают следующим образом:

Таблица истинности схемы ИЛИ-НЕ

x y xvy
0 0 1
0 1 0
1 0 0
1 1 0
Триггер — это электронная схема, широко применяемая
в регистрах компьютера для надёжного запоминания
одного разряда двоичного кода. Триггер имеет два
устойчивых состояния, одно из которых соответствует
двоичной единице, а другое — двоичному нулю

Самый распространённый тип триггера — так

называемый RS-триггер (S и R, соответственно, от
английских set — установка, и reset — сброс)
S R Q
0 0 запрещено
0 1 1 0
1 0 0 1
хранение
1 1
бита
Сумматор — это электронная логическая схема,
выполняющая суммирование двоичных чисел

Многоразрядный двоичный сумматор,

предназначенный для сложения многоразрядных
двоичных чисел, представляет собой комбинацию
одноразрядных сумматоров
Входы Выходы
Первое Второе
слагаемо слагаемо Перенос Сумма Перенос
е е
0 0 0 0 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 0
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
Если требуется складывать двоичные слова длиной два и
более бит, то можно использовать последовательное
соединение таких сумматоров, причём для двух
соседних сумматоров выход переноса одного
сумматора является входом для другого.
Схема вычисления суммы C = (с3 c2 c1 c0) двух двоичных
трехразрядных чисел A = (a2 a1 a0) и B = (b2 b1 b0) может
иметь вид
ОСНОВНЫЕ ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ
Таблица истинности
Таблица истинности
Под упрощением формулы, не содержащей операций
импликации и эквиваленции, понимают равносильное
преобразование, приводящее к формуле, которая либо
содержит по сравнению с исходной меньшее число
операций конъюнкции и дизъюнкции и не содержит
отрицаний неэлементарных формул, либо содержит
меньшее число вхождений переменных.
Переключательная схема — это схематическое
изображение некоторого устройства, состоящего из
переключателей и соединяющих их проводников, а также
из входов и выходов, на которые подаётся и с которых
снимается электрический сигнал.

Каждый переключатель имеет только два состояния:

замкнутое и разомкнутое. Переключателю Х поставим в
соответствие логическую переменную х, которая
принимает значение 1 в том и только в том случае, когда
переключатель Х замкнут и схема проводит ток; если же
переключатель разомкнут, то х равен нулю
Схема не содержит переключателей и проводит ток
всегда, следовательно F=1

Схема содержит один постоянно разомкнутый контакт,

следовательно F=0

Схема проводит ток, когда переключатель х замкнут, и не

проводит, когда х разомкнут, следовательно, F(x) = x
Две схемы называются равносильными, если через одну из
них проходит ток тогда и только тогда, когда он проходит
через другую (при одном и том же входном сигнале).

Из двух равносильных схем более простой считается та

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

СИНТЕЗ СХЕМЫ по заданным условиям ее работы

1. составлению функции проводимости по таблице
истинности, отражающей эти условия;
2. упрощению этой функции;
3. построению соответствующей схемы.

АНАЛИЗ СХЕМЫ
4. определению значений её функции проводимости при
всех возможных наборах входящих в эту функцию
переменных.
5. получению упрощённой формулы
Построим схему, содержащую 4 переключателя x, y, z и
t, такую, чтобы она проводила ток тогда и только тогда,
когда замкнут контакт переключателя t и какой-нибудь из
остальных трёх контактов
Построим схему, содержащую 4 переключателя x, y, z и
t, такую, чтобы она проводила ток тогда и только тогда,
когда замкнут контакт переключателя t и какой-нибудь из
остальных трёх контактов

F(x, y, z, t) = t . (x v y v z)
Построим схему с пятью переключателями, которая
проводит ток в том и только в том случае, когда
замкнуты ровно четыре из этих переключателей
Построим схему с пятью переключателями, которая
проводит ток в том и только в том случае, когда
замкнуты ровно четыре из этих переключателей