Калькулятор логики — таблица истинности онлайн
Введи логическое выражение — получи таблицу истинности мгновенно. Калькулятор понимает школьную запись (¬, ∧, ∨, →, ↔) и запись Python (not, and, or, ^): удобно для уроков информатики, подготовки к олимпиадам и проверки домашних заданий.
Какие операции понимает
- НЕ: not A, ¬A, !A
- И: A and B, A ∧ B, A & B
- ИЛИ: A or B, A ∨ B, A | B
- Исключающее ИЛИ: A xor B, A ⊕ B, A ^ B
- Импликация: A -> B, A → B
- Эквиваленция: A <-> B, A ↔ B, A == B
Что показывает
Таблицу значений для всех комбинаций переменных (до 5), число истинных строк, а тавтологию и противоречие подсвечивает автоматически — удобно проверять законы де Моргана и упрощение выражений.
Разбор примера: A → B
Импликация «если A, то B» ложна ровно в одном случае — когда A истинно, а B ложно. При A = 0 выражение истинно при любом B: из ложной посылки следует что угодно. Именно эта строка чаще всего и подводит: интуиция подсказывает «ложь», а таблица даёт «истину». Проверяется в один клик — введи A -> B и посмотри все четыре строки.
Приоритет операций
Сначала отрицание, затем И, затем ИЛИ, затем импликация и последней эквиваленция. То есть A ∨ B ∧ C читается как A ∨ (B ∧ C), а не как (A ∨ B) ∧ C. Когда сомневаешься — ставь скобки: калькулятор посчитает ровно то, что записано, и разницу видно сразу по двум таблицам.
Где это спрашивают
Логические выражения и таблицы истинности разбирают в 8–9 классе, они входят в ОГЭ и ЕГЭ по информатике и встречаются на школьном этапе олимпиады. В программировании это же — условия в if: not, and, or в Python работают по этим самым таблицам.