Математическая логика

Что умеет калькулятор математической логики?

  • Упрощать логические выражения
  • Строит таблицу истинности для введённых формул
  • Найти нормальные формы логического выражения:
    • Конъюнктивную нормальную форму (КНФ), в том числе совершенную
    • Дизъюнктивную нормальную форму (ДНФ), в том числе совершенную

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

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

¬
- отрицание
- импликация
^
- конъюкция
v
- дизъюнкция
- импликация
~
- эквиваленция
+
- сложение
|
- Не-и
- Не-или

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

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

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

(A⇒B)⇒¬(B⇒A)

Сложение

(A⊕B)∨(A⊕C)

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

(A⇒B)∨(B⇔C)

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

((A⇒B)⇒(A|C))⇒(¬B⇒¬C)

Не-или

(A⇒B)∧(A↓C)

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

(A∨B)∨C ⇒ (A∨B)∧(A∨C)