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

Компьютер

Компьютер

Обрабатывает двоичные данные

Состоит из логических схем

Триггер

r

Под триггером в цифровой технике понимают простейший автомат с двумя состояниями. Переход между ними задаётся функцией, сообразно которой и выделяют разновидности (RS, D, T и JK). Чтобы было проще: в схемах триггер изображается чаще всего прямоугольной рамкой-телом с несколькими входами и парой выходов (в виде боковых ножек), кроме того ставится буква из приведённых выше. Иногда это устройство может быть синхронным. Тогда ко входам добавляется С, куда поступают тактовые импульсы. Прочие триггеры асинхронные.В зависимости от реализуемой функции различают следующие разновидности устройств:RS целиком предназначаются для управления выходом при помощи двух входов. Первый служит для установки единицы и обычно переводится как Set. Триггер устанавливается в нулевое состояние путём активации входа R (Reset).D (data, delay) триггер обычно запоминает значение своего собственного входа и используется в качестве устройства задержки. Если вариант устройства синхронный, то значение передаётся на выход только на следующем такте.Т (toggle) триггер умеет вести счёт в двоичной системе. Это значит, что его выход попеременно становится 0 или 1 с приходом каждой единицы на счётный вход. Иногда его называют делителем частоты (на 2).Это кажется удивительным, но на базе такого скромного набора функций удаётся собрать самые сложные системы. Кроме того в природе встречаются JK-триггеры, называемые универсальными. За счёт специфической конструкции они допускают подачу на оба входа логических единиц, чего нельзя делать в случае с RS-триггером. В таком случае JK-триггер начинает работать в качестве счётчика. Во всех других ситуациях ведёт себя, как RS. Давайте рассмотрим подробнее эти элементы цифровой техники.

Полуссуматор

Полуссуматор

r

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

Логика

Формальная логика

a

Логика предикатов

Предикаты

Кванторы

Алгебра логики

Законы алгебры логики

Логические выражения

Оперирует с высказываниями

Высказывания

Простые

Состовные