Основные операции алгебры высказываний

Инверсия (логическое отрицание) - присоединение частицы «не» к сказуемому данного простого высказывания или присоединение слов «неверно что...» ко всему высказыванию.

Инверсия логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна.

Таблица истинности инверсии имеет вид:

Закон двойного отрицания ˥ ˥ А=А.

Пример: Луна — спутник Земли (А). Луна — не спутник Земли ( A)

Дизъюнкция (логическое сложение) - соединение двух простых высказываний A и B в одно составное с помощью союза «или», употребляемого в неисключающем смысле, называется логическим сложением или дизъюнкцией, а полученное составное высказывание — логической суммой.

Указание о необходимости выполнить логическое сложение высказываний A и B записывается так: А+В или А٧В.