Цифровая схемотехника: учебник / В. А. Эттель, Н. Н. Синкевич.

и Рисунок 1.1 - График кодирования цифрового сигнала электрическим напряжением Сигналы можно преобразовывать. Для этого на практике используются логические элементы, а чтобы это записать формально используются логические функции. 1.2 Алгебра логики Для описания алгоритмов работы цифровых устройств необходим соответствующий математический аппарат. Такой аппарат для решения задач формальной логики в середине гтрошлого века разработал ирландский математик Д. Буль. По его имени математический аппарат и получил название булевой алгебры или алгебры логики. Алгебра логики является теоретической основой построения ЭВМ и цифровых устройств. Алгебра логики - это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических операций над ними. Математический аппарат алгебры логики очень удобен для описания того, как функционируют аппаратные средства компьютера, поскольку основной системой счисления в компьютере является двоичная, в которой используются цифры 1 и 0, а значений ло- гическзгх переменных тоже два: "1" и "О". Основоположником математической логики является английский математик Джордж Буль (1815 - 1864). Он впервые высказал идеи логического истолкования теории множеств. Рассмотрим 2х элементное множество В, элементы которого 0 и 1. Однако они не являются числами в обычном смысле. Наиболее распространенная интерпретация двоичных переменных - это логические: “ДА - НЕТ” или “ИСТИННО - ЛОЖНО”. Например: в языках программирования вводится специальный тип переменной - ло­

RkJQdWJsaXNoZXIy MTExODQxMg==