Прочитать высказывания математической логики построить их отрицания и установить истинность

Обновлено: 04.11.2024

Здесь указаны символы, которые стоит указывать при вводе логической формулы в калькулятор.

¬a - отрицание a⇒b - импликация a∧b - конъюкция a∨b - дизъюнкция a⇔b - эквиваленция a⊕b - сложение по модулю 2 (Исключающее или) a|b - Не-и (штрих Шеффера) a↓b - Не-или (стрелка Пирса)

Это символы не жёстко привязаны к соотв. операциям, можно использовать другие.

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

С применением отрицания

Со знаком "эквивалентно"

Со знаком "следствие"

С применением конъюкции и дизъюнкции

С применением Не-и и Не-или

В калькуляторе вы сможете упростить выражения, содержащие следующие операции: NOT, XOR, AND, OR, NAND, NOR, NOT

Читайте также: