Базовые логические элементы "И", "ИЛИ", "НЕ".

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

Создателем алгебры логики является английский математик Джордж Буль (19 век), в честь которого она названа булевой алгеброй высказываний.

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

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

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

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

Базовые логические элементы И, ИЛИ, НЕ

 Схема И реализует конъюнкцию (логическое умножение) двух или более логических значений. 

	Эл. схема

Единица на выходе схемы И будет тогда и только тогда, когда на всех входах будут единицы. Когда хотя бы на одном входе будет нуль, на выходе также будет нуль.
Связь между выходом z этой схемы и входами х и у описывается соотношением z = х ^ у (читается как «х и у»).
Операция конъюнкции на функциональных схемах обозначается знаком & (читается как «амперсэнд»), являющимся сокращенной записью английского слова and.

Схема ИЛИ реализует дизъюнкцию (логическое сложение) двух или более логических значений.

	Эл. схема

Когда хотя бы на одном входе схемы ИЛИ будет единица, на ее выходе также будет единица.
Знак «1» на схеме — от устаревшего обозначения дизъюнкции как «>=!» (т.е. значение дизъюнкции равно единице, если сумма значений операндов больше или равна 1). Связь между выходом z этой схемы и входами х и у описывается соотношением z = х или у.

Схема НЕ (инвертор) реализует операцию отрицания.

	Таблица истинности  х не х 0 1 1 0

Связь между входом х этой схемы и выходом z можно записать соотношением Z = , где х читается как «не х» или «инверсия.
Если на входе схемы 0, то на выходе 1. Когда на входе 1 на выходе 0.