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

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

Результат

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

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

• (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)

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

• 0↓1|a|b|c|1↓0