Физические и логические принципы работы компьютера. Базовые логические операции. Принцип выполнения программ.

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

В основе всех выводов компьютера лежат три основные операции: «И», «ИЛИ», «НЕ». Иногда эти операции называют «тремя китами машинной логики».

При записи логических выражений используется специальный язык, который принят в машинной логике. Основоположником мат. Логики является великий немецкий математик Готфрид Вильгельм Лейбниц. Он сделал попытку построить универсальный язык, с помощью которого споры между людьми можно было бы разрешать посредством вычислений. На заложенном Лейбницем фундаменте ирландский математик Джордж Буль построил здание новой науки – математической логики (Алгебры логики), которая в отличие от обычной алгебры оперирует не числами, а высказываниями. В честь Д. Буля логические переменные в языке программирования Паскаль в последствии назвали булевскими.

Высказывание - это любое утверждение, относительно которого можно сказать истинно оно или ложно, т.е. соответствует оно действительности или нет. Таким образом, по своей сути высказывания фактически являются двоичными объектами и поэтому часто истинному значению высказывания ставят в соответствие 1,а ложному - 0. Например, запись А=1 означает, что высказывание А - истинно.

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

Самой простой логической операцией является операция «НЕ» (по другому её часто называют отрицанием, дополнением или инверсией и обозначают NOT X). Результат отрицания всегда противоположен значению аргумента.

Логическая операция «НЕ» является унарной, т.е. имеет всего один операнд. В отличие от «НЕ», операции «И» (AND) и «ИЛИ» (OR) являются бинарными, т.к. представляют собой результат действий над двумя логическими величинами.

Логическое «И» ещё часто называют конъюнкцией, или логическим умножением, а «ИЛИ» – дизъюнкцией, или логическим сложением. Часто в ВТ используют дополнительную логическую операцию “исключающее ИЛИ”(X XOR Y), которая отличается от «ИЛИ» только при X=1, Y=1.

X	NOT X

X	Y	X and Y	X or Y	X xor Y

Операция «И» имеет результат “истина” только в том случае, если оба операнда истинны.

Операция «ИЛИ» “менее привередлива” к исходным данным. Она дает “истину” если значение “истина” имеет хотя бы один из операндов. В случае, когда справедливы оба аргумента одновременно, результат также истинный. В таблицах истинности указаны все возможные комбинации логических переменных Х и У, а также соответствующие им результаты операций. Таблица истинности может рассматриваться в качестве одного из способов задания логической функции.

Операции «И», «ИЛИ», «НЕ» образуют полную систему логических операций, из которых можно построить сколь угодно сложное логическое выражение.

Обработка информации в ЭВМ происходит путём последовательного выполнения элементарных операций. К ним относятся: установка - запись в операционный элемент(например, регистр) двоичного кода: прием- передача (перезапись) кода из одного элемента в другой; сдвиг- изменение положения кода относительно исходного; преобразование- перекодирование; сложение- арифметическое сложение или целых двоичных чисел- некоторые другие. Для выполнения каждой из этих операций сконструированы электронные узлы, являющиеся основными узлами цифровых вычислительных машин- регистры, счетчики, сумматоры, преобразователи кодов и т.д.

В основе каждой из элементарных операций лежит некоторая последовательность логических действий. Например, операция сложения двух чисел: 3+6. Имеем:

+110

На каждом элементарном шаге двум двоичным цифрам сопоставляется двоичное число (одно или двухзначное) по правилам: (0;0) 0, (0;1) 1, (1;0) 1, (1;1) 10. Таким образом, сложение цифр можно описать логической бинарной функцией. Если дополнить это логическим правилом переноса единицы в старший разряд, то сложение полностью сведется к цепочке логических операций.

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

a a a + b a

a a + b

b b b

« И » « ИЛИ» «НЕ» «X ИЛИ»

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

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

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

S= ( * B) + (A* ); Co = A* B.

Черта над символом обозначает операцию NOT.

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

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

A	B	S	Co

Мысленно объединим столбцы А, В и Со. Полученная таблица напоминает базовый элемент «И».

Аналогично сравнив первые три столбца A, B и S с таблицей истинности для рассмотренных логических элементов, обнаружением подходящий для наших целей элемент «исключающее ИЛИ”. Таким образом, для реализации полусумматора достаточно соединить параллельно входы двух логических элементов.

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

A A

B = S

А) с использованием лишь базовых логических элементов.

Б) с использованием “исключающего ИЛИ”.

При построении функциональных узлов КС используются элементы, которые реализуют базовую систему логических функций. Одним из таких базовых наборов является набор из трех функций: дизъюнкции (логическое ИЛИ), конъюнкции (логическое И) и отрицание (логическое НЕ). На рис. 2.1.2. показаны условные обозначения и значения выходного сигнала в зависимости от входных сигналов. Ноль изображается на диаграммах низким значением сигнала, а единица – высоким. Используя эти базовые элементы, строятся все функциональные узлы ЦВМ.

x1 x1

y y x y

x2 x2

«логическое ИЛИ» «логическое И» «логическое НЕ»

Рис. 2.1.2. Базовая система логических элементов цифровых устройств