Таблицы истинности
Введите логическое выражение — построим полную таблицу истинности для всех наборов значений переменных. Понимает символы и слова: ¬ ∧ ∨ → ↔ и не, и, или. Считается прямо в браузере.
Примеры:
| A | B | C | F |
|---|---|---|---|
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 |
Как пользоваться
Переменные — латинские буквы (A, B, C…). Операции можно вводить символами или словами: отрицание — ¬ ! не, конъюнкция (И) — ∧ & * и, дизъюнкция (ИЛИ) — ∨ | + или, исключающее ИЛИ — ⊕ ^ xor, импликация — → ->, эквивалентность — ↔ ≡ <->. Приоритет операций как в ЕГЭ: НЕ, И, ИЛИ, импликация, эквивалентность — порядок можно менять скобками.
Таблица перебирает все возможные наборы значений переменных (от всех нулей до всех единиц) и считает значение выражения в каждой строке. Это помогает проверять равносильность выражений и решать задания на логику.
