Булевы логические операции

Центральное место в математической логике занимает понятие высказывания. Высказывания являются абстрактным аналогом суждений. Высказывания могут быть выражены посредством утвердительного предложения, которое подчиняется закону исключенного третьего,

Основные операции

Булевы операции лежат в основе обработки цифровых сигналов.

дизъюнкция истина тогда и только тогда, когда истинно хотя бы одно из составляющих высказываний.
обозначение может быть в виде ∨,так и +. В словесном виде выглядит так: или

конъюнкция истина тогда и только тогда, когда истинно оба высказывания.
обозначение может быть в виде ^,& так и *. В словесном виде выглядит так: и

инверсия - отрицание , меняет на противоположное значение.
обозначение может быть в виде ¬ . В словесном виде выглядит так: не

Второстепенные операции

импликация - следование. Выражение ложно только тогда, когда первое значение истинно, а второе ложное.
Эта операция связывает два простых логических выражения, из которых первое является условием, а второе — следствием из этого условия.
обозначение может быть в виде направленной стрелки от одного значения к другому. В словесном виде выглядит так: ЕСЛИ-ТО

эквивалентность (равнозначность)
Результат операции эквивалентность истинен только тогда, когда А и В одновременно истинны или одновременно ложны.
обозначение может быть в виде знака равно с черточкой по середине. В словесном виде выглядит так: равно.

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

штрих Шеффера
ложно только тогда, когда А и В являются истинными
обозначение А|B . В словесном виде выглядит так: И-НЕ.

стрелка Пирса
истинно только тогда, когда А и В являются ложными
обозначение в виде стрелки направленной вниз. В словесном виде выглядит так: ИЛИ-НЕ.