![]()
|
||||||||||||||||||||||
6. Лекция: Логические вентили, схемы, структуры6. Лекция: Логические вентили, схемы, структуры Рассматриваются основные теоретические (математические, логические) понятия и сведения, касающиеся базовых логических элементов и структур – логических вентилей, логических (переключательных) схем, логической базы аппаратуры ЭВМ и их оптимальной структуры, оптимизации их структур. Содержание Любой, самый примитивный компьютер – сложнейшее техническое устройство. Но даже такое сложное устройство, как и все в природе и в технике, состоит их простейших элементов. Любой компьютер, точнее, любой его электронный логический блок состоит из десятков и сотен тысяч так называемых вентилей (логических устройств, базовых логических схем), объединяемых по правилам и законам (аксиомам) алгебры вентилей в схемы, модули. Логический вентиль (далее – просто вентиль) – это своего рода атом, из которого состоят электронные узлы ЭВМ. Он работает по принципу крана (отсюда и название), открывая или закрывая путь сигналам. Логические схемы предназначены для реализации различных функций алгебры логики и реализуются с помощью трех базовых логических элементов (вентилей, логических схем или так называемых переключательных схем). Они воспроизводят функции полупроводниковых схем. Работу вентильных, логических схем мы, как и принято, будем рассматривать в двоичной системе и на математическом, логическом уровне, не затрагивая технические аспекты (аспекты микроэлектроники, системотехники, хотя они и очень важны в технической информатике). Логические функции отрицания, дизъюнкции и конъюнкции реализуют, соответственно, логические схемы, называемые инвертором, дизъюнктором и конъюнктором. Логическая функция " инверсия", или отрицание, реализуется логической схемой (вентилем), называемой инвертор. Принцип его работы можно условно описать следующим образом: если, например, " 0" или " ложь" отождествить с тем, что на вход этого устройства скачкообразно поступило напряжение в 0 вольт, то на выходе получается 1 или " истина", которую можно также отождествить с тем, что на выходе снимается напряжение в 1 вольт. Аналогично, если предположить, что на входе инвертора будет напряжение в 1 вольт (" истина" ), то на выходе инвертора будет сниматься 0 вольт, то есть " ложь" (схемы на рисунках 6. 1 а, б).
Функцию отрицания можно условно отождествить с электрической схемой соединения в цепи с лампочкой (рис. 6. 2), в которой замкнутая цепь соответствует 1 (" истина" ) или х = 1, а размыкание цепи соответствует 0 (" ложь" ) или х = 0.
Дизъюнкцию
Дизъюнктор условно изображается схематически электрической цепью вида (рис. 6. 4)
Конъюнкцию
Конъюнктор можно условно изобразить схематически электрической цепью вида (рис. 6. 6)
Схематически инвертор, дизъюнктор и конъюнктор на логических схемах различных устройств можно изображать условно следующим образом (рис. 6. 7 а, б, в). Есть и другие общепринятые формы условных обозначений.
Пример. Транзисторные схемы, соответствующие логическим схемам
Из указанных простейших базовых логических элементов собирают, конструируют сложные логические схемы ЭВМ, например, сумматоры, шифраторы, дешифраторы и др. Большие (БИС) и сверхбольшие (СБИС) интегральные схемы содержат в своем составе (на кристалле кремния площадью в несколько квадратных сантиметров) десятки тысяч вентилей. Это возможно еще и потому, что базовый набор логических схем (инвертор, конъюнктор, дизъюнктор) является функционально полным (любую логическую функцию можно представить через эти базовые вентили), представление логических констант в них одинаково (одинаковы электрические сигналы, представляющие 1 и 0) и различные схемы можно " соединять" и " вкладывать" друг в друга (осуществлять композицию и суперпозицию схем). Таким способом конструируются более сложные узлы ЭВМ – ячейки памяти, регистры, шифраторы, дешифраторы, а также сложнейшие интегральные схемы. Пример. В двоичной системе таблицу суммирования цифры x и цифры y и получения цифры z с учетом переноса p в некотором разряде чисел x и y можно изобразить таблицей вида
Эту таблицу можно интерпретировать как совместно изображаемую таблицу логических функций (предикатов) вида Логический элемент, соответствующий этим функциям, называется одноразрядным сумматором и имеет следующую схему (обозначим ее как
Пример. " Черным ящиком" называется некоторое закрытое устройство (логическая, электрическая или иная схема), содержимое которого неизвестно и может быть определено (идентифицировано) только по отдельным проявлениям входа/выхода ящика (значениям входных и выходных сигналов). В " черном ящике" находится некоторая логическая схема, которая в ответ на некоторую последовательность входных (для ящика) логических констант выдает последовательность логических констант, получаемых после выполнения логической схемы внутри " черного ящика". Определим логическую функцию внутри " черного ящика" (рис. 6. 10), если операции выполняются с логическими константами для входных последовательностей (поразрядно). Например, х = 00011101 соответствует последовательности поступающих значений: " ложь", " ложь", " ложь", " истина", " истина", " истина", " ложь", " истина".
Из анализа входных значений (входных сигналов) х, у и поразрядного сравнения логических констант в этих сообщениях с константами в значении z – результате выполнения функции в " черном ящике", видно, что подходит, например, функция вида Действительно, в результате " поразрядного" сравнения сигналов (последовательностей значений " истина", " ложь" ) получаем следующие выражения (последовательности логических констант): Пример. Попробуйте самостоятельно выписать функцию для " черного ящика"? указанного на рис. 6. 11:
Важной задачей (технической информатики) является минимизация числа вентилей для реализации той или иной схемы (устройства), что необходимо для более рационального, эффективного воплощения этих схем, для большей производительности и меньшей стоимости ЭВМ. Эту задачу решают с помощью методов теоретической информатики (методов булевой алгебры). Пример. Построим схему для логической функции Схема, построенная для этой логической функции, приведена на рис. 6. 12.
Пример. Определим логическую функцию
Искомая логическая функция, если выписать ее последовательно, заполняя " верх" каждой стрелки, будет иметь следующий вид:
|
||||||||||||||||||||||
|