Калькулятор упрощения логических выражений

Калькулятор упрощения логических выражений предназначен для упрощения сложных логических выражений.
Логическое выражение – это выражение, которое может быть истинным или ложным.
В логических выражениях используются логические операции: конъюнкция (и), дизъюнкция (или), отрицание (не), импликация (если, то), эквивалентность (тогда и только тогда, когда).
Упрощение логических выражений заключается в преобразовании исходного выражения в эквивалентное ему, но более простое.
Для упрощения логических выражений используются законы логики: закон исключения третьего, закон двойного отрицания, законы Де Моргана, законы идемпотентности, законы поглощения, законы противоречия и т.д.
Введите логическое выражение в поле ввода и нажмите кнопку “Упростить”. Результат упрощения будет выведен под кнопкой.