Базовыми операциями алгебры логики

операции логического умножения – конъюнкции ( ),

логического сложения – дизъюнкции ( ),

исключающего или – (Å),

логического отрицания – инверсии ( ).

Таблицы истинности для указанных операций:

A B A V B A L B A Å B

 

4. Стрелка Пирса X ¯ Y.

Стрелка Пирса X ¯ Y (NOR (NOT OR), ИЛИ-НЕ) – это высказывание, которое истинно только в том случае, если X ложно и Y ложно.

5. Штрих Шеффера X | Y.

Штрих Шеффера X | Y (NAND (NOT AND), И-НЕ) – это высказывание, которое ложно только в том случае, если X истинно и Y истинно.

Определить значения логических операций при различных сочетаниях аргументов можно из таблицы истинности.

 

Таблица истинности для основных логических операций, используемых в ЭВМ

 

X Y XY X + Y X ¯ Y X | Y