Функция И

Алгебраическая форма:	y = x1^x2^...= x1×x2×...
Словесное описание:	«y есть х1, и х2, и ...»
Таблица истинности:
Условное графическое изображение:

Функция И принимает значение 0, если хотя бы один аргумент равен 0. Элемент И также может быть реализован на пассивных элементах (рис. 2.4).

а б в

Рис. 2.4. Схема элемента И (а);
состояние низкого выходного уровня;
низкий уровень хотя бы на одном входе (б);
состояние высокого выходного уровня (в)

Ниже приводятся простейшие правила и теоремы алгебры логики (доказываемые путем подстановки).

Правила сложения:
Правила умножения:
Закон двойного отрицания:
Теорема де Моргана (справедлива при любом числе аргументов):	,
Закон поглощения:
Закон склеивания:

Кроме того, для логических переменных справедливы законы, аналогичные обычной алгебре (за исключением распределительного).

Переместительный закон:
Сочетательный закон:
Распределительный закон: