Что такое логические узлы эвм кратко

Обновлено: 05.07.2024

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

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

Так, например, предложение “7 - нечетное число” следует считать высказыванием, так как оно истинное. Предложение “Июль - зимний месяц” тоже высказывание, так как оно ложное.

Разумеется, не всякое предложение является логическим высказыванием. Высказываниями не являются, например, предложения “ученик десятого класса” и “информатика - интересный предмет”. Первое предложение ничего не утверждает об ученике, а второе использует слишком неопределённое понятие “интересный предмет”. Вопросительные и восклицательные предложения также не являются высказываниями, поскольку говорить об их истинности или ложности не имеет смысла.

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

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

Употребляемые в обычной речи связки: "не”, “и”, “или”, “если. , то”, “тогда и только тогда” и другие позволяют из уже заданных высказываний строить новые. Такие слова и словосочетания называются логическими связками.

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

Элементарные высказывания соответствуют алгебраическим переменным, составные – функциям.

Так, например, из элементарных высказываний “Иванов - сыщик”, “Иванов - скрипач” при помощи связки “и” можно получить составное высказывание “Иванов - сыщик и скрипач”, понимаемое как “Иванов - сыщик, хорошо играющий на скрипке”.

При помощи связки “или” из этих же высказываний можно получить составное высказывание “Иванов - сыщик или скрипач”, понимаемое в алгебре логики как “Иванов или сыщик, или скрипач, или и сыщик и скрипач одновременно”.

Истинность или ложность получаемых таким образом составных высказываний зависит от истинности или ложности элементарных высказываний.

К основным логическим операциям относят операцию НЕ (отрицание, инверсия – NOT ), операцию И (логическое умножение, конъюнкция – AND ), операцию ИЛИ (логическое сложение, дизъюнкция – OR ).

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

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

Таблица - Основные логические операции

Таблица - Дополнительные логические операции

ЭВМ строятся из компонентов с двумя устойчивыми состояниями. Одно состояние обозначается нулем, другое – единицей. На такие компоненты воздействуют двоичные сигналы. Под воздействием сигналов компоненты изменяют свои состояния, т.е. состояние компонентов или значения их выходных сигналов зависят от значений воздействующих сигналов. Очевидно, что функционирование компонентов ЭВМ следует описывать логическими функциями. По этой причине алгебра логики находит непосредственное и широкое применение при разработке и использовании средств электронной вычислительной техники.

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

Из этого следует два вывода:

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

2. На этапе конструирования аппаратных средств алгебра логики позволяет значительно упростить логические функции, описывающие функционирование схем компьютера, и, следовательно, уменьшить число элементарных логических элементов, из десятков тысяч которых состоят основные узлы компьютера.

Обработка информации в ЭВМ происходит путем последовательного выполнения элементарных операций. К ним относятся: установка, сдвиг, прием, преобразование, сложение и некоторые другие. Для выполнения каждой из этих операций сконструированы электронные узлы – регистры, счетчики, сумматоры, преобразователи кодов и т.д. Из этих узлов строятся интегральные микросхемы очень высокого уровня: микропроцессоры, модули ОЗУ, контроллеры внешних устройств и т.д. Сами указанные узлы собираются из основных базовых логических элементов – как простейших, реализующих логические функции И, ИЛИ, НЕ, И-НЕ, ИЛИ-НЕ и им подобных, так и более сложных, таких как триггеры.

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

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

Введем условные обозначения основных логических элементов.

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

Простейший вариант триггера собирается из четырех логических элементов И-НЕ (рисунок 13). Он имеет два входа R , S и два выхода – прямой и инверсный . Термин триггер происходит от английского слова trigger - защёлка, спусковой крючок. Для обозначения этой схемы в английском языке чаще употребляется термин flip-flop, что в переводе означает “хлопанье”. Это звукоподражательное название электронной схемы указывает на её способность почти мгновенно переходить (“перебрасываться”) из одного электрического состояния в другое и наоборот.

Самый распространённый тип триггера - так называемый RS-триггер (S и R, соответственно, от английских set - установка, и reset -сброс).

Логическая схема триггера

Проанализируем возможные комбинации значений входов R и S триггера, используя его схему и таблицу истинности схемы И-НЕ.

4. Последняя комбинация R =1 и S =1 приводит к тому, что на обоих выходах триггера установиться 1! Такое состояние логически недопустимо и крайне неустойчиво, поскольку снятие входных напряжений приведет к тому, что триггер случайным образом перейдет в одно из своих устойчивых состояний. Такая ситуация на практике является запрещенной. Ниже приведена таблица истинности триггера.

Поскольку один триггер может запомнить только один разряд двоичного кода, то для запоминания байта нужно 8 триггеров, для запоминания килобайта, соответственно, 8 * 2 10 = 8192 триггеров. Современные микросхемы памяти содержат миллионы триггеров.

Сумматор - это электронная логическая схема, выполняющая суммирование двоичных чисел.

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

Многоразрядный двоичный сумматор , предназначенный для сложения многоразрядных двоичных чисел, представляет собой комбинацию одноразрядных сумматоров. Начнем с изучения логической структуры простейшего возможного устройства, являющегося звеном сумматора – полусумматора, который реализует сложение двух одноразрядных двоичных чисел. В результате получается двухразрядное двоичное число. Его младшую цифру обозначим S , а старшую, которая при сложении многоразрядных чисел будет перенесена в старший разряд, через C_o (от английских слов “ Carry out ” – “выходной перенос”).

Обе цифры можно получить по следующим логическим формулам:

Составим для этих формул таблицу истинности.

Таблица истинности для полусумматора

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

Логическая схема полусумматора

При построении схемы сумматор (рис.) удобно представить в виде двух полусумматоров, из которых первый суммирует разряды числа, а второй к полученному результату прибавляет бит переноса. Ниже приводится таблица истинности одноразрядного сумматора.

Таблица. Таблица истинности для одноразрядного сумматора

Сумматор, составленный из двух полусумматоров

Перейти к многоразрядным числам можно путем последовательного соединения соответствующего количества сумматоров.

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

Свидетельство и скидка на обучение каждому участнику

Зарегистрироваться 15–17 марта 2022 г.

Электронные вычислительные машины

Электронные вычислительные машины (ЭВМ) представляют собой устройство, предназначенное для выполнения вычислительных операции по заданной программе.

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

Вычислительные машины в зависимости от способа представления информации подразделяются на две большие группы: вычислительные машины непрерывного действия, или аналоговые вычислительные машины (АВМ), и вычислительные машины дискретного действия, или цифровые вычислительные машины (ЦВМ).

В АВМ входные, выходные и промежуточные величины представляются в виде токов или напряжений, значения которых в определенном масштабе соответствуют числом.

Математические действия над числами заменяются в АВМ различными преобразованиями электрических токов или напряжений.

Современная математизированная формальная логика представляет собой обширную научную область и находит широкое применение как внутри математики (исследование оснований математики), так и вне ее (анализ и синтез автоматических устройств, теоретическая кибернетика, в частности, искусственный интеллект).

Формы мышления. Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные древнегреческими мыслителями. Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления (речи) от его содержания.

Логика- это наука о формах и способах мышления.

Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны.

Мышление всегда осуществляется в каких-то формах. Основными формами мышления являются понятие, высказывание и умозаключение.

Понятие- это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие имеет две стороны: содержание и объем. Содержания понятия составляет совокупность существенных признаков объекта. Чтобы раскрыть содержание понятия, следует найти признаки, необходимые и достаточные для выделения данного объекта из множества других объектов. Свое понимание окружающего мира человек формулирует в форме высказываний (суждений, утверждений). Высказывание строится на основе понятий и по форме является повествовательным предложением. Высказывание может быть ложным или истинным. Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношение реальных вещей. Ложным высказывание будет в том случае, когда оно не соответствует реальной действительности.

Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть либо ложно, либо истинно.

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

Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).

Алгебра логики (раздел высказываний) – раздел математической логики, изучающий строение (форму, структуру) сложных логических высказываний и способы установления их истинности с помощью алгебраических методов.

В алгебре логики над высказываниями можно производить различные операции (подобно тому в алгебре чисел определены операции сложения, деления, возведения в степень над действительными числами).

Для структурно-функционального описания логических схем, составляющих основу любого дискретного вычислительного устройства, ЭВМ или ВС в целом, используется аппарат булевой алгебры, созданной в 1854 г. Дж. Булем как попытка изучения логики мышления математическими методами. Впервые практическое применение булевой алгебры было сделано К. Шенноном в 1938 г. для анализа и разработки релейных переключательных сетей, результатом чего явилась разработка метода представления любой сети, состоящей из совокупности переключателей и реле , математическими выражениями и принципов их преобразования на основе правил булевой алгебры. Ввиду наличия аналогий между релейными и современными электронными схемами аппарат булевой алгебры нашел широкое применение для анализа, описания и проектирования последних. Использование булевой алгебры позволяет не только более удобно оперировать с булевыми выражениями (представляющими те или иные электронные узлы), чем над схемами или логическими диаграммами , но и на формальном уровне путем эквивалентных преобразований и базовых теорем упрощать их, давая возможность создавать экономически и технически более совершенные электронные устройства любого назначения. Являясь основным средством анализа, разработки и описания структурно-функциональной архитектуры современной ВТ, булева алгебра является обязательной составной частью курса “компьютерной информатики”, а также целого ряда разделов вычислительных наук.

Логические основы ЭВМ

Рассмотрим, как применяется алгебра высказываний при конструировании устройств.

Чтобы конструировать устройство, мы должны знать:

Каким образом следует реализовать логические значения 0 и 1 в виде электрических сигналов на входе и выходе устройства;

Каким образом описать работу этого устройства:

Существует ли алгоритм, позволяющий по известной таблице истинности построить схему устройства;

Из каких элементов должно состоять устройство.

Цифровой сигнал - это сигнал, который может принимать только одно из двух установленных значений.

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

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

Логические функции и логические элементы

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

Конъюнкцию двух высказываний можно записать по правилам логического умножения (логическое умножение):

Логический элемент И выполняет действие умножение.

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

Логическое сложение:

Логический элемент ИЛИ выполняет действие сложение.

Логический элемент, реализующий логическую функцию НЕ, называется инвертором.

Базовые логические операции и элементы. Таблицы истинности. Логические узлы ЭВМ и их классификация. Сумматоры, дешифраторы, шифраторы, мультиплексоры. Триггеры: УГО и таблицы истинности RS-, JK- и Т-триггера. Регистры.

Элементами ЭВМ называют устройства, выполняющие логические функции, запоминающие информацию, преобразующие её и формирующие и усиливающие сигналы.

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

Условное графическое обозначение (УГО) RS-триггера приведено на рисунке 2

Рисунок 2 – RS – триггер с прямыми входами. УГО

Выход триггера принято обозначать буквой Q. Состояние триггера определяется логическим уровнем на этом выходе

Триггер, как правило, имеет два выхода: прямой и инверсный .Состояние триггера определяется логическим уровнем на его прямом выходе.

Значение на инверсном выходе всегда противоположно значению на прямом выходе.

Название триггеров определяется первыми буквами английских слов: S (set - установить); R (reset - выключить): Т (toggle - релаксатор); J (jerk - резко включить); К (kill - резко выключить): D (delay - задержка).

RS-триггеры с раздельной установкой 0 и 1. Простейший RS-триггер имеет два входа: R и S. При комбинации входных сигналов S=1, R=0 триггер устанавливается в единичное состояние Q=l, при входных сигналах S=0, R=l - в состояние Q=0, при S=0, R=0 триггер сохраняет своё состояние. Если на входы: R и S подать 1, то его выходной сигнал не определён, так как триггер при этом находится в неустойчивом состоянии. В связи с этим комбинация входных сигналов R=l, S=1 для RS-триггера является запрещённой.

На рисунке 3 приведены принципиальные схемы RS-триггеров, реализованных на элементах И-НЕ, ИЛИ-НЕ.

Рисунок 3 – RS-триггер. Схемы принципиальные

а) с прямыми входами

б) с инверсными входами

Синхронный (тактируемый) RS-триггер имеет управляющий сигнал С на входе (clock - основная синхронизация), который при С=1 разрешает переключение по закону RS-триггера, при С=0 триггер сохраняет своё состояние.

D-триггер задержки. D-триггер имеет один информационный вход D и вход для синхронизирующего импульса С. Основное назначение D-триггера - задержка и хранение сигнала, поданного на вход D при С=1.

Его УГО приведено на рисунке 4.

Рисунок 4 – D – триггер. УГО

JK-триггер универсальный. JK-триггер работает по правилу RS-триггера и отличается от последнего тем, что комбинация сигналов J=K=1 не является запретной. При этих сигналах JK -триггер изменяет своё состояние на обратное тому, в котором он находился. Условное графическое обозначение этого триггера приведено на рисунке 5.

Рисунок 5 – JK-триггер. УГО

- базовые логические элементы;

- классификацию цифровых устройств;

- основные логические узлы ЭВМ;

- УГО основных логических узлов.

- составлять таблицы истинности;

- составлять схемы простых логических узлов ЭВМ.

Тема 2.2Основы построения ЭВМ

Понятие архитектуры и структуры компьютера. Принципы (архитектура) фон Неймана. Основные компоненты ЭВМ, их назначение и взаимодействие. Основные типы архитектур ЭВМ.

Социальное обеспечение и социальная защита в РФ: Понятие социального обеспечения тесно увязывается с понятием .

Эталон единицы силы электрического тока: Эталон – это средство измерения, обеспечивающее воспроизведение и хранение.

Любая цифровая вычислительная машина состоит из логических схем - таких схем, которые могут находиться только в одном из двух возможных состояний - либо "логический ноль", либо "логическая единица". За логический 0 и логическую 1 можно принять любое выражение , в том числе и словесное, которое можно характеризовать как " истина " и " ложь ". В вычислительной технике логические 0 и 1 - это состояние электрических схем с определенными параметрами. Так, для логических элементов и схем, выполненных по технологии транзисторно-транзисторной логики (ТТЛ-схемы), логический 0 - это напряжение в диапазоне 0 … + 0,4 В, а логическая 1 - это напряжение в диапазоне + 2,4 … + 5 В [1]. Работа логических схем описывается посредством специального математического аппарата, который называется логической (булевой) алгеброй или алгеброй логики. Булева алгебра была разработана Джорджем Булем (1815 - 1864 гг.), она является основой всех методов упрощения булевых выражений.

Логические переменные и логические функции - это такие переменные и функции, которые могут принимать только два значения - либо логический 0, либо логическая 1.

Основные логические функции и элементы

Логический элемент - графическое представление элементарной логической функции.

Логическое умножение (конъюнкция) - функция И

Рассмотрим ключевую схему представленную на рис. 1.1,а. Примем за логический 0 [2]:

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

Таблица истинности для логической схемы, представленной на рис. 1.1,б, состоит из 8 строк, поскольку данная схема имеет три входа - , и . Каждая из этих логических переменных может находиться либо в состоянии логического 0, либо логической 1. Соответственно количество сочетаний этих переменных равно =8" />
. Очевидно, что через сопротивление R ток протекает только тогда, когда замкнуты все три ключа - и , и , и . Отсюда еще одно название логического умножения - логический элемент И. В логических схемах этот элемент независимо от того, на какой элементной базе он реализован, обозначается так, как показано на рис. 1.1,в.

Правило логического умножения :если на вход логического элемента И подается хотя бы один логический 0, то на его выходе будет логический 0.

Уровень логического 0 является решающим для логического умножения .

В логических выражениях применяется несколько вариантов обозначения логического умножения. Так, для приведенного на рис. 1.1,в трёх-входового элемента И, логическое выражение можно представить в виде:

Логическое сложение (дизъюнкция) - функция ИЛИ

Рассмотрим ключевую схему, представленную на рис. 1.2,а. Таблица истинности для данной логической схемы (рис. 1.2,б) состоит из 4 строк, поскольку данная схема имеет два входа - и . Количество сочетаний этих переменных равно =4" />
. Очевидно, что через сопротивление R ток протекает тогда, когда замкнуты или , или . Отсюда еще одно название логического сложения - логическое ИЛИ. В логических схемах соответствующий логический элемент независимо от того, на какой элементной базе он реализован, обозначается так, как показано на рис. 1.2,в.

Правило логического сложения: если на вход логического элемента ИЛИ подается хотя бы одна логическая , то на его выходе будет логическая 1.

Для логического сложения решающим является уровень логической 1.

В логических выражениях применяется два варианта обозначения логического сложения. Так, для приведенного двух-входового элемента ИЛИ, логическое выражение можно представить в виде:

Логическое отрицание (инверсия) - функция НЕ

Рассмотрим ключевую схему, представленную на рис. 1.3,а. Таблица истинности для данной схемы (рис. 1.3,б) самая простая и состоит всего из 2 строк, поскольку она (единственная из всех логических элементов) имеет только один вход - . Количество вариантов для единственной логической переменной равно =2" />
. Очевидно, что через сопротивление R ток протекает ( ) тогда, когда не замкнут, т.е. . Еще одно название этой логической функции - отрицание, а соответствующий логический элемент называется инвертором. В логических схемах этот элемент независимо от того, на какой элементной базе он реализован, обозначается так, как показано на рис. 1.3,в. Поскольку он имеет только один вход, в его обозначении допустимым является и знак логического сложения, и знак логического умножения.

Правило инверсии: проходя через инвертор, сигнал меняет свое значение на противоположное.

В логических выражениях применяется единственный вариант обозначения инверсии:

$F =\overline$

К основным логическим элементам относятся еще два элемента, которые являются комбинацией элементов И, ИЛИ и НЕ: элемент И-НЕ и ИЛИ-НЕ.

Логическая функция и элемент И-НЕ

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

Если на вход логического элемента И-НЕ подается хотя бы один логический 0, то на его выходе будет логическая 1.

В логических выражениях применяются обозначения:

Логическая функция и элемент ИЛИ-НЕ

В логических схемах этот элемент независимо от того, на какой элементной базе он реализован, обозначается так, как показано на рис. 1.5,а. Таблица истинности приведена на рис. 1.5,б.

Если на вход логического элемента ИЛИ-НЕ подается хотя бы одна логическая 1, то на его выходе будет логический 0.В логических выражениях применяются обозначения:

Читайте также: