Антидизъюнкция

Результатом операции антидизъюнкции для высказывания А¯В будет истинна только тогда, когда оба высказывания ложны. В остальных случаях результатом операции всегда будет ложь.

Пример_9: Даны высказывания А =«Рим – столица России» и В =«Москва – столица Италии».

Сложное высказывание А¯В =«ни Рим–столица России, ни Москва–столица Италии» истинно, так как ложны оба высказывания.

Связки и частица «не» рассматриваются в алгебре логики как операции над величинами, принимающими значения 0 (ложь/false) и 1(истина/true), и результатом применения этих операций также являются значения 0 или 1.

В алгебре логики логические операции чаще всего описываются при помощи таблиц истинности.

В таблице 2 представлена таблица истинности для операции отрицания (инверсия).

Таблица истинности для операции «отрицания»

Таблица 2

А	не А

Пример_10: Дана переменная А=1 (истина). После применения операции инверсии для переменной А ее значение станет равным 0 ( ложь).

В таблице 3 представлены все наборы значений переменных А и В и значения операций на этих наборах.

Таблица истинности для основных бинарных логических операций

Таблица 3

А	В	Ù	Ú	®	Å	~	½	¯

Порядок выполнения логических операций в сложном логическом выражении

Инверсия (отрицание)