1011 1100 101 110 111 000 001 010 011 0100 0101
|
-5 -4 -3 -2 -1 0 1 2 3 4 5
Числа, стоящие по разные стороны от нуля, являются взаимно дополнительными, то есть их сумма всегда равна 0. Чтобы представить двоичное число в дополнительной форме, его инвертируют (заменяют 0 на 1, а 1 – на 0) прибавляют к нему 1. Операция вычитания выполняется путем сложения дополнительных кодов.
Пример:
Выполнить вычитание 10111,1–1010,1.
На первом этапе необходимо указанные числа выровнять по значности (они должны иметь одинаковое количество разрядов) и представить в дополнительном коде.
[10111,1]доп.= 0 10111,1
[ –01010,1]доп.= 1 10101,0 + 00000,1 = 1 10101,1.
На втором этапе выполняется вычитание как сложение с дополнительным числом, то есть:
0 10111,1
+ 1 10101,1
|
0 01101,0 = 1101.
Операции умножения, деления, возведения в степень и вычисления функций процессор не выполняет, их необходимо выполнять программным путем, используя сдвиги влево и вправо. Сдвиг двоичного числа на одну позицию влево приводит к его удвоению подобно тому, так сдвиг десятичного числа на одну позицию вправо – к его уменьшению на 10. Сдвиг двоичного числа на одну позицию вправо делит его пополам.
Контрольные вопросы и примеры
1. Что понимается под системой счисления?
2. Чем отличается позиционная система счисления от непозиционной?
3. Дайте определение базиса и основания позиционной системы счисления.
4. Как перевести число из 10→ 2, из 10→ 16?
5. Как перевести число из 2→ 10, из 8→10, из 16→10?
6. Каков принцип построения позиционных систем счисления?
7. Как изображаются числа в дополнительном коде?
8. Опишите схему вычитания чисел с помощью дополнительного кода.
9. Перевести числа из одной системы счисления в другую:
а) 625(10)→(2);б) 3628,5(10) →(16);в) 1024,4(10) → (8);
г) 134,6(8) →(10);д) –ВСО(16) →(10).
10. Записать числа в дополнительном коде:
а) 1563,04(10) г) –3А01(16)
б) –2,149(10)д) –01010,101(2)
в) –0,1001101(2)е) –37,54(8)
11. Выполните арифметические операции в двоичной системе:
а) 1011,11б)1011,101
+ 101,11 - 110,11
12. Комплексное задание: в таблице 2 приведены по вариантам числа в десятичной, двоичной и восьмеричной системах счисления:
Таблица 2.Системы счисления
№ варианте | Десятичная система | Двоичная система | Восьмеричная система |
1 | 2 | 3 | 4 |
1 | 107.99 | 1100101.100100 | 152.01 |
2 | 357.94 | 1000111.011111 | 204.31 |
3 | 273.66 | 1111001.001110 | 110.44 |
4 | 845.76 | 1111010.100101 | 243.25 |
5 | 214.38 | 1110010.010101 | 743.56 |
6 | 584.16 | 1010101.100111 | 676.43 |
7 | 343.37 | 1101100.010011 | 114.53 |
8 | 128.69 | 1110101.000111 | 631.04 |
9 | 513.76 | 1010111.111001 | 204.33 |
10 | 778.47 | 1111001.010111 | 301.75 |
Выполнить:
1) перевести число из 10-ой системы счисления в двоичную, восьмеричную и шестнадцатеричную;
2) перевести число из 2-ой системы счисления в десятичную и восьмеричную;
3) перевести число из восьмеричной системы счисления в десятичную и двоичную системы;
4) выполнить сложение чисел, находящихся в 2 и 4 графах таблицы 2, пользуясь двоичной арифметикой;
5) выполнить вычитание двоичных чисел, находящихся в тех же графах таблицы 2.
Основы математической логики
В математических и других рассуждениях постоянно встречаются повествовательные предложения, образованные путем видоизменения некоторого предложения с помощью слова не или связывания предложений с помощью слов и, или, если …, то (или влечет), тогда и только тогда, когда. Эти пять слов или комбинаций слов называются сентенциональными связками. Они являются основой для построения сложных предложений (т.е. таких повествовательных предложений в которых содержится одна или более чем одна связка), составленных их простых предложений (т.е. таких, каждое из которых или не содержит связку, или рассматривается как «неразложимое»).
Повествовательное предложение о котором можно сказать истинно оно или ложно мы будем называть высказыванием. Множество повествовательных предложений и сентенциональных связок образует исчисление высказываний. Если обозначать высказывания большими латинскими буквами и ввести для сентенциональных связок условные обозначения (значки), то можно перейти к логическим формулам результатом которых будут логические значения – истина или ложь.
Дадим определения для основных логических операций.
1. Конъюнкцией (или операцией логического умножения) двух высказываний A и B называют высказывание C, которое истинно тогда и только тогда, когда истины оба высказывания входящие в конъюнкцию. Конъюнкция (иногда логическое «и») обозначается значком
2. Дизъюнкцией (или операцией логического сложения) двух высказываний A и Bназывают высказывание C, которое ложно тогда и только тогда, когда ложны оба высказывания входящие в дизъюнкцию. Дизъюнкция (иногда логическое «или») обозначается значком Ú и записывается так: AÚB.
3. Отрицанием высказыванияA называют высказывание B которое ложно тогда и только тогда когда истинно исходное высказываниеA, обозначают
4. Импликация высказываний (или условное предложение) обозначается AÞB и задается с помощью следующей таблицы, называемой таблицей истинности для импликации:
4. Эквиваленция или эквивалентность двух высказываний обозначается AÛB и задается следующей таблицей истинности:
Законы эквивалентности
1. Законы коммутативности (они позволяют переставлять операнды Ù,Ú и Û):
(AÙB)Û(BÙA)
(AÚB)Û(BÚA)
(AÛB)Û(BÛA)
2. Законы ассоциативности (они позволяют нам пренебрегать скобками):
(AÙB) ÙСÛA Ù(BÙC)
(AÚB) ÚСÛA Ú(BÚC)
3. Законы дистрибутивности (они позволяют раскрывать скобки):
AÚ(BÙС)Û (A ÚB)Ù(AÚC)
AÙ(BÚС)Û (A ÙB)Ú(AÙC)
4. Законы де Моргана:
Ø(AÙB)ÛØAÚØB
Ø(AÚB)ÛØAÙØB
5. Закон отрицания:Ø(ØA) ÛA
6. Закон исключенного третьего: AÚØAÛ истина
7. Закон противоречия: AÙØAÛ ложь
8. Закон импликации: (AÞB)Û( ØAÚB)
9. Закон равенства: (AÛB)Û (AÞB)Ù(BÞA)
10. Законы упрощения Ú:
AÚAÛA
AÚИстина ÛИстина
AÚЛожьÛА
АÚ(АÙВ)ÛА.
11. Законы упрощения Ù:
АÙАÛА
АÙИстинаÛА
АÙЛожьÛЛожь
АÙ(АÚВ)ÛА
12. Закон тождества:
АÛА.
Операции математической логики имеют свое старшинство, т.е. порядок их выполнения: 1) Ø, 2) Ù, 3) Ú, 4) Þ, 5) Û.
(АÛВ)Ù(ВÛС)Þ(АÛС)
Для доказательства воспользуемся таблицей истинности. Заметим, что количество строк в такой таблице равно 8 (2n – где, n – количество логических переменных).
Будем в таблице истину обозначать – и, а ложь – л.
А | В | С | АÛВ | ВÛС | (АÛВ)Ù(ВÛС) | АÛС | Вся формула |
и | и | и | и | и | и | и | и |
и | и | л | и | л | л | л | и |
и | л | и | л | л | л | и | и |
л | и | и | л | и | л | л | и |
и | л | л | л | и | л | л | и |
л | и | л | л | л | л | и | и |
л | л | и | и | л | л | л | и |
л | л | л | и | и | и | и | и |
Пример 2. Используя основные законы эквивалентности доказать эквивалентность формул U и V, когда