3.6. Прямая, обратная и дополнительная форма представления двоичных чисел в эвм
В ЭВМ с целью упрощения арифметических операций применяют специальные коды для представления чисел. Например, упрощается определение знака результата операции, вычитание есть сложение кодов, облегчено определение переполнения разрядной сетки. Положительные числа представляются в прямом коде. Прямой кодGпр двоичной дроби с (n-1)–разрядной мантиссойG=0,к1,к2 …. кn-1определяется какGпр =GкогдаG0 и1+G, когдаG0 Прямой код целогоn– разрядного двоичного числаG=кn-2,kn-3, …k1,k0 имеет видGпр=GприG0 и 2n-1+GприG0. Прямой код числа со знаком можно рассматривать как двоичное число без знака , которое определяется этими соотношениями. Операция вычитания (алгебраического сложения) сводится к операции простого арифметического сложения при помощиобратного и дополнительного кодов,используемых для представления отрицательных чисел в машине. Что бы представить двоичное отрицательное число в обратном коде нужно в знаковый разряд поставить 1, а во всех других разрядах заменить 1 нулями, а 0 – единицами. При этом отрицательная двоичная дробьG-= -0,k1,k2, …,kn-1в обратном коде примет вид
G-обр= 1,r1,r2, …,rn-1 ,
а отрицательное двоичное число G= -kn-2,kn-3, …,k1,k0 соответственно
G-обр= 1,rn-2,rn-3, …,r1,r0гдеri=0 , еслиki=1 и наоборот.
При представлении отрицательного двоичного числа в дополнительном коде ставят 1 в разряд знака, а цифровую часть числа заменяют дополнением модуля числа до 2 или соответственно 2n, для дробей и целых чисел. Дополнительный код отрицательного числаG- определяется выражениемG-доп=2-G-, еслиG- - двоичная дробь, иG-доп = 2n-G-еслиG- - целое двоичное число. Таким образом, дополнительный код числа может быть получен из обратного путем прибавления 1 к младшему разряду обратного кода.
4. Логические основы эвм
4.1. Алгебра логики
В алгебре логики рассматриваются переменные, которые могут принимать только два значения0и1. Переменные будем обозначать латинскими буквамиx,y,z…,а такжеx0,x1,…xn, y0,y1,…yn и т.д.
Отношение эквивалентности(равенства «=»), удовлетворяет следующим свойствам:
рефлексивность:x=x;
симметричность: еслиx=yтоy=x;
транзитивность:x=yиy=zтоx=z, отсюда следует принцип, еслиx=y, то в любой формуле, содержащейx, в местоxможно подставитьy, и в результате будет получена эквивалентная формула.
4.2 Логические операции
Это три операции:
дизъюнкция, операция ИЛИ, логическое сложение. Обозначают знаком Vили +;
конъюнкция, опе6рация И, логическое умножение, обозначается знаком ^, или &, или *, или опускается;
отрицание, инверсия,
операция НЕ, обозначается чертой над
переменной, или над элементами 0 и 1, или
над операциями с охватом всех переменных
входящих в операцию (
);
4.3. Аксиомы алгебры логики
Формула (1) утверждает, что в алгебре логики рассматриваются только двоичные переменные.
Формулы (2)-(4) определяют операции дизъюнкции и конъюнкции.
Формула (5) определяет операцию отрицания.
4.4. Законы (теоремы и тождества) алгебры логики
На основании аксиом алгебры логики можно вывести ряд теорем и законов.
Идемпотентные
законы 
(6)
Коммутативные
законы 
(7)
Ассоциативные
законы 
(8)
Дистрибутивные
законы 
(9)
Законы отрицания 
(10)
(11)
(12)
Законы двойственности (теоремы де Моргана)
(13)
Закон двойного
отрицания 
(14)
Законы поглощения
(15)
Операции склеивания 
(16)
(17)
Большинство теорем, а также аксиом записаны парами. При внимательном изучении пар можно вывести принцип двойственности – если в тождестве произвести взаимные замены операций дизъюнкции и конъюнкции, а также элементы0и1, если они имеются, то получим тоже тождество. Такое свойство называетсяпринципом двойственности.
f(v,0,l/+,&)=g(v,0,/+,&) гдеv=(xn-1,...,x0) то справедливо также тождество:f(v,l,0/&,+)=g(v,l,0/&,+)
Все теоремы могут быть доказаны аналитически или методом перебора.
Метод перебора – тождество (13)
-
XY
0 0
0 1
1 0
1 1
Аналитический метод – тождество (17)
Порядок выполнения операций:
отрицание слагаемой или сомножителя;
конъюнкция сомножителей;
дизъюнкция слагаемых;
общее отрицание дизъюнкции или конъюнкции.