Прочитать высказывания математической логики построить их отрицания и установить истинность
Обновлено: 16.05.2024
Здесь указаны символы, которые стоит указывать при вводе логической формулы в калькулятор.
¬a - отрицание a⇒b - импликация a∧b - конъюкция a∨b - дизъюнкция a⇔b - эквиваленция a⊕b - сложение по модулю 2 (Исключающее или) a|b - Не-и (штрих Шеффера) a↓b - Не-или (стрелка Пирса)
Это символы не жёстко привязаны к соотв. операциям, можно использовать другие.
Примеры логических выражений
С применением отрицания
Со знаком "эквивалентно"
Со знаком "следствие"
С применением конъюкции и дизъюнкции
С применением Не-и и Не-или
В калькуляторе вы сможете упростить выражения, содержащие следующие операции: NOT, XOR, AND, OR, NAND, NOR, NOT
Читайте также: