Основные сведения об алгебре логики

Элементная база современных компьютеров – электронные схемы, выполненные в виде БИС или СБИС.

Для синтеза (создания) электронных схем применяется аппарат алгебры логики (Булевая алгебра).

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

В основу булевой алгебры лежит такое понятие как «высказывание».

Высказывание (суждения, утверждения) – это форма мышления, с помощью которого человек формулирует свое понимание окружающего мира. Высказывания выражены не только с помощью естественных языков, но и с помощью формальных языков. Напр.:

«Два умножить на два равно четыре» - высказывание на естественном языке,

«2*2=4» - на формальном языке.