• Арифметические основы компьютера кратко. Арифметические основы компьютера. Связь между алгеброй логики и двоичным кодированием

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

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

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

    Пример «Буква «а» - гласная» - истинное высказывание. «Компьютер был изобретён в середине 19 века» ложное высказывание.

    Задание. Какие из предложений являются высказываниями? Определите их истинность. 1. Какой длины эта лента? (не является высказыванием) 2. Делайте утреннюю зарядку! (не является высказыванием) 3. Париж - столица Англии. (является ложным высказыванием) 4. Число 11 является простым. (является истинным высказыванием) 5. 4 + 5 = 10 (является ложным высказыванием) 6. Без труда не вытащишь и рыбку из пруда. (является истинным высказыванием) 7. Некоторые медведи живут на севере. (является истинным высказыванием) 8. Все медведи - бурые. (является ложным высказыванием)

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

    ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ОПЕРАЦИИ Алгебра логики - это наука об общих операциях, аналогичных сложению и умножению, которые выполняются над высказываниями.

    Логическая переменная - это простое высказывание, содержащее только одну мысль. Её символическое обозначение - латинская буква (например, A, B, X, Y и т. д.) Составное высказывание - логическая функция, которая содержит несколько простых мыслей, соединённых между собой с помощью логических операций. Её символическое обозначение - F(A, B, …). На основе простых высказываний могут быть построены составные высказывания.

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

    Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится логическое выражение, значение которого можно вычислить. Значением логического выражения могут быть только ЛОЖЬ или ИСТИНА. При составлении логического выражения необходимо учитывать порядок выполнения логических операций, а именно: действия в скобках; инверсия, конъюнкция, дизъюнкция, импликация, эквиваленция.

    Пример Запишите в виде логического выражения следующее высказывание: «Летом Петя поедет в деревню и, если будет хорошая погода, то он пойдёт на рыбалку» . Проанализируем составное высказывание. Оно состоит из следующих простых высказываний: «Петя поедет в деревню» , «Будет хорошая погода» , «Он пойдёт на рыбалку» . Обозначим их через логические переменные: А = Петя поедет в деревню; В = Будет хорошая погода; С = Он пойдёт на рыбалку. Запишем высказывание в виде логического выражения, учитывая порядок действий. Если необходимо, расставим скобки: F = A & (B → C).

    Система счисления - это способ записи чисел с помощью заданного набора специальных знаков (цифр).

    Существуют позиционные и непозиционные системы счисления.

    В непозиционных системах вес цифры (т.е. тот вклад, который она вносит в значение числа) не зависит от ее позиции в записи числа. Так, в римской системе счисления в числе ХХХII (тридцать два) вес цифры Х в любой позиции равен просто десяти.

    В позиционных системах счисления вес каждой цифры изменяется в зависимости от ее положения (позиции) в последовательности цифр, изображающих число. Например, в числе 757,7 первая семерка означает 7 сотен, вторая – 7 единиц, а третья – 7 десятых долей единицы.

    Сама же запись числа 757,7 означает сокращенную запись выражения

    700 + 50 + 7 + 0,7 = 7 10 2 + 5 10 1 + 7 10 0 + 7 10 -1 = 757,7.

    Любая позиционная система счисления характеризуется своим основанием.

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

    За основание системы можно принять любое натуральное число - два, три, четыре и т.д. Следовательно, возможно бесчисленное множество позиционных систем: двоичная, троичная, четверичная и т.д. Запись чисел в каждой из систем счисления с основанием q означает сокращенную запись выражения

    a n-1 q n-1 + a n-2 q n-2 + ... + a 1 q 1 + a 0 q 0 + a -1 q -1 + ... + a -m q -m ,

    где a i – цифры системы счисления; n и m – число целых и дробных разрядов, соответственно.

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

    Продвижением цифры называют замену её следующей по величине.

    Продвинуть цифру 1 значит заменить её на 2, продвинуть цифру 2 значит заменить её на 3 и т.д. Продвижение старшей цифры (например, цифры 9 в десятичной системе) означает замену её на 0. В двоичной системе, использующей только две цифры – 0 и 1, продвижение 0 означает замену его на 1, а продвижение 1 – замену её на 0.

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

    Применяя это правило, запишем первые десять целых чисел

    в двоичной системе: 0, 1, 10, 11, 100, 101, 110, 111, 1000, 1001;

    в троичной системе: 0, 1, 2, 10, 11, 12, 20, 21, 22, 100;

    в пятеричной системе: 0, 1, 2, 3, 4, 10, 11, 12, 13, 14;

    восьмеричной системе: 0, 1, 2, 3, 4, 5, 6, 7, 10, 11.

    Кроме десятичной широко используются системы с основанием, являющимся целойстепенью числа 2, а именно:

    двоичная (используются цифры 0, 1);

    восьмеричная (используются цифры 0, 1, ..., 7);

    шестнадцатеричная (для первых целых чисел от нуля до девяти используются цифры 0, 1, ..., 9, а для следующих чисел - от десяти до пятнадцати – в качестве цифр используются символы A, B, C, D, E, F).

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

    Компьютеры используют двоичную систему потому, что она имеет ряд преимуществ перед другими системами:

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

    · представление информации посредством только двух состояний надежно и помехоустойчиво;

    · возможно применение аппарата булевой алгебры для выполнения логических преобразований информации;

    · двоичная арифметика намного проще десятичной.

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

    Например:

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

    При переводе целого десятичного числа в систему с основанием q его необходимо последовательно делить на q до тех пор, пока не останется остаток, меньший или равный q–1. Число в системе с основанием q записывается как последовательность остатков от деления, записанных в обратном порядке, начиная с последнего.

    Пример: Перевести число 75 из десятичной системы в двоичную, восьмеричную и шестнадцатеричную:

    Ответ: 75 10 = 1 001 011 2 = 113 8 = 4B 16 .

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

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

    Пример: Перевести число 0,35 из десятичной системы в двоичную, восьмеричную и шестнадцатеричную:

    Ответ: 0,35 10 = 0,01011 2 = 0,263 8 = 0,59 16 .

    При переводе числа из двоичной (восьмеричной, шестнадцатеричной) системы в десятичную надо это число представить в виде суммы степеней основания его системы счисления.

    Рассмотрим основные арифметические операции: сложение, вычитание, умножение и деление. Правила выполнения этих операций в десятичной системе хорошо известны - это сложение, вычитание, умножение столбиком и деление углом. Эти правила применимы и ко всем другим позиционным системам счисления. Только таблицами сложения и умножения надо пользоваться особыми для каждой системы.

    Сложение в шестнадцатеричной системе

    При сложении цифры суммируются по разрядам, и если при этом возникает избыток, то он переносится влево.

    Пример 1. Сложим числа 15 и 6 в различных системах счисления.

    Пример 2. Сложим числа 15, 7 и 3.

    Шестнадцатеричная: F 16 +7 16 +3 16 Ответ: 5+7+3 = 25 10 = 11001 2 = 31 8 = 19 16 . Проверка: 11001 2 = 2 4 + 2 3 + 2 0 = 16+8+1=25 31 8 = 3*8 1 + 1*8 0 = 24 + 1 = 25 19 16 = 1*16 1 + 9*16 0 = 16+9 = 25.

    Умножение

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

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

    Деление

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

    Литература

    1. Александров П.С. Введение в теорию множеств и общую топологию. – М.: «Наука», Главная редакция физико-математической литературы, 1977.

    2. Стол Роберт Р. Множества. Логика. Аксиоматические теории. / Под ред. Шихановича. М.: «Просвещение», 1969.

    3. Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. – М.: МЦНМО, 1999.

    4. Новиков П.С. Элементы математической логики. – М.: Наука, 1973. 400с.

    5. Клини С. Математическая логика. – М.: Мир, 1973, 480с.

    6. Краткий словарь по логике / Д.П. Горский, А.А. Ивин, А.Л. Никифоров;

    7. Королев В.Т., Ловцов Д.А., Радионов В.В. Учебно-методический комплекс. Информационные технологии в юридической деятельности – М.: РАП, 2013.

    8. Королев В.Т., Ловцов Д.А., Радионов В.В. Информационные технологии в юридиче-ской деятельности / Под ред. Д.А. Ловцова. – М.: РАП, 2011.

    9. Королев В. Т. Информационные технологии в юридической деятельности. Учебно-методические материалы для практических занятий. - М.: РАП, 2012. (имеется в классе персо-нальных компьютеров и на сайте академии).

    Представление информации в компьютере .

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

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

    Непозиционные системы для записи числа используют множество символов. Значение символа не зависит от местоположения его в числе(римская СС ).

    Позиционная система счисления – когда от позиции цифры в числе зависит ее вес(555 –единицы, десятки, сотни). Всякая позиционная СС характеризуется основанием , т.е. количеством цифр, используемых для записи числа. За основание СС можно принять любое натуральное число.

    10 ая – использует 10 цифр → 0, 1… 9

    2 ая – 2 цифры → 0, 1

    Люди предпочитают 10 ую (это удобно, видимо потому, что с древних времен считали по пальцам).

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

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

      возможно применение аппарата булевой алгебры;

      двоичная арифметика проще десятичной;

      представление информации с помощью 2-х состояний более надежно.

    Недостаток : - быстрый рост разрядов.

    В компьютере используются также 8 ая и 16 ая системы.

    Перевод чисел из 10 ой в 2 ую и наоборот выполняет машина.

    При вводе информация кодируется, при выводе декодируется.

    Обозначение цифр в 2 ой системе: 0, 1, 10, 11(3), 100(4), 101(5), 110(6), 111(7), 1000(8), 1001(9), 1010(10) и т.д.

    Обозначение цифр в 8-ой системе: 0, 1, 2 … 7, 10(8), 11(9), 12(10)……17(15), 20(16), 21(17) и т.д.

    Обозначение цифр в 16 ой системе: 0, 1, 2 … 9, A (10), B (11), C (12) ... F (15), 10(16), 11(17) и т. д.

    Целое число в позиционной СС может быть представлено в виде:

    A q =a n-1 q n-1 +a n-2 q n-2+…+ a 0 q 0 , где

    A – само число;

    q – основание системы счисления;

    a i – цифры, принадлежащие алфавиту данной системы счисления;

    n – число целых разрядов числа.

    Пусть в десятичной системе задано число 375 10 .

    Каждая позиция, занимаемая цифрами, называется разрядом числа . Разряды имеют названия и номера: разряд единиц (0), разряд десятков (1), разряд сотен (2). Названия определяют вес (012) . Число в позиционной системе счисления представляет собой сумму степеней основания, умноженную на соответствующий коэффициент, который должен быть одной из цифр данной системы счисления. Достаточно просуммировать веса единичных разрядов.

    А 10 =375

    375 10 =5*10 0 +7*10 1 +3*10 2 = 5+70+300=375

    Это называется разложением числа по степеням основания.

    Номера разрядов совпадают с показателем степени.

    101101 2 =1*2 0 +0*2 1 +1*2 2 +1*2 3 +0*2 4 +1*2 5 =1+0+4+8+0+32=45 10

    10110 2 =0*2 0 +1*2 1 +1*2 2 +0*2 3 +1*2 4 =0+2+4+0+16=22 10

    100001 2 =1*2 0 +0*2 1 +0*2 2 +0*2 3 +0*2 4 +1*2 5 =1+32=33 10

    17 8 =1*8 1 +7*8 0 = 8+1=15 10

    7764 8 = 7*8 3 +7*8 2 +6*8 1 +4*8 0 = 3584+448+48+4 =4084 10

    17 16 = 1*16 1 +7*16 0 = 16+7 = 23 10

    3 AF 16 =3*16 2 +10*16 1 +15*16 0 =768+160+15=943 10

    1 A 16 = 1*16 1 +10*16 0 = 16+10 = 26 10

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

    33 10 = ? 2

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

    33 10 = 100001 2

    Двоичная система счисления является стандартом при конструировании компьютеров.

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

    Логика, как наука развивается с IV в. до н. э. начиная с трудов Аристотеля. Именно он подверг анализу человеческое мышление, такие его формы, как понятие, суждение, умозаключение.

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

    Рис. 1. Основные формы абстрактного мышления

    Понятие – это форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов. Всякое понятие имеет содержание и объем. Например, понятие “Черное море” – отражает единичный предмет, “Сиамская кошка” – отражает класс сиамских кошек.

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

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

    В алгебре логики высказывания обозначаются именами логических переменных (А, В, С). Истина, ложь – логические константы.

    Логическое выражение – запись или устное утверждение, в которое, наряду с постоянными, обязательно входят переменные величины (объекты). В зависимости от значений этих переменных логическое выражение может принимать одно из двух возможных значений: ИСТИНА (логическая 1) или ЛОЖЬ (логический 0).

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

    | следующая лекция ==>
    Шестнадцатеричная система счисления используется для компактного представления (на бумаге или на экране) двоичной информации, хранимой в памяти ЭВМ. |

    а) Логические основы работы компьютера

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

    Алгебра логики возникла в середине ХIХ века в трудах английского математика Джорджа Буля . Ее создание представляло собой попытку решать традиционные логические задачи алгебраическими методами.

    Логическое высказывание - это любoе повествовательное пpедлoжение, в oтнoшении кoтopoгo мoжно oднoзначнo сказать, истиннo oнo или лoжнo.

    Так, например, предложение "6 - четное число " следует считать высказыванием, так как оно истинное. Предложение "Рим - столица Франции " тоже высказывание, так как оно ложное.

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

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

    Алгебра логики рассматривает любое высказывание только с одной точки зрения - является ли оно истинным или ложным. Заметим, что зачастую трудно установить истинность высказывания . Так, например, высказывание "площадь поверхности Индийского океана равна 75 млн кв. км " в одной ситуации можно посчитать ложным, а в другой - истинным. Ложным - так как указанное значение неточное и вообще не является постоянным. Истинным - если рассматривать его как некоторое приближение, приемлемое на практике.

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

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

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



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

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

    Чтобы обращаться к логическим высказываниям, им назначают имена. Пусть через А обозначено высказывание "Тимур поедет летом на море", а через В - высказывание "Тимур летом отправится в горы". Тогда составное высказывание "Тимур летом побывает и на море, и в горах" можно кратко записать как А и В . Здесь "и" - логическая связка, А, В - логические переменные, которые мoгут принимать только два значения - "истина" или "ложь", обозначаемые, соответственно, "1" и "0".

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

    НЕ Операция, выражаемая словом "не", называется отрицанием и обозначается чертой над высказыванием (или знаком ). Высказывание истинно, когда A ложно, и ложно, когда A истинно. Пример. "Луна - спутник Земли " (А); "Луна - не спутник Земли " ().

    И "и", называется конъюнкцией (лат. conjunctio - соединение) или логическим умножением и обозначается точкой " . " (может также обозначаться знаками или & ). Высказывание А. В истинно тогда и только тогда, когда оба высказывания А и В истинны. Например, высказывание "10 делится на 2 и 5 больше 3" истинно, а высказывания "10 делится на 2 и 5 не больше 3", "10 не делится на 2 и 5 больше 3", "10 не делится на 2 и 5 не больше 3" - ложны.

    ИЛИ Операция, выражаемая связкой "или" (в неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio - разделение) или логическим сложением и обозначается знаком v (или плюсом). Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны. Например, высказывание "10 не делится на 2 или 5 не больше 3" ложно, а высказывания "10 делится на 2 или 5 больше 3", "10 делится на 2 или 5 не больше 3", "10 не делится на 2 или 5 больше 3" - истинны.

    ЕСЛИ-ТО Операция, выражаемая связками "если..., то", "из... следует", "... влечет...", называется импликацией (лат. implico - тесно связаны) и обозначается знаком . Высказывание ложно тогда и только тогда, когда А истинно, а В ложно.

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

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

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

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

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

    Логическими элементами компьютеров являются электронные схемы И, ИЛИ, НЕ, И-НЕ, ИЛИ-НЕ и другие (называемые также вентилями ), а также триггер.

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

    Чтобы представить два логических состояния - “1” и “0” в вентилях, соответствующие им входные и выходные сигналы имеют один из двух установленных уровней напряжения. Например, +5 вольт и 0 вольт.

    Высокий уровень обычно соответствует значению “истина” (“1”), а низкий - значению “ложь” (“0”).

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

    Работу логических элементов описывают с помощью таблиц истинности.