Построить таблицу истинности

{{ '' + variable }}	{{ '' + node }}
{{ cell }}

Введите логическое выражение для построения таблицы истинности, например A ^ (B v C) в поле ввода, а затем нажмите "Построить".

Поддерживаемые операции AND, OR, NOT, XOR, Импликация, Обратная импликация и Эквивалетность.

Операции и константы нечувствительны к регистру.

Переменные чувствительны к регистру, могут быть длиннее одного символа, могут содержать только буквенно-цифровые символы, цифры и символ подчеркивания и не могут начинаться с цифры.

Операции

Операции выполняются в порядке приоритета, от высшего к низшему. Операции с одинаковым прецедентом выполняются слева направо. Чтобы выполнить определенную операцию первой, заключите ее в круглые скобки. ( ).

Операция	Обозначения	Возвращает `"истина"` если	Возвращает `"ложь"` если	Приоритет
`NOT A`	`~ ' ! ¬`	`A` равно `"ложь"`.	`A` равно `"истина"`.	высший
`A и B`	`∧ ^ & · *`	оба `A` и `B` являются `"истина"`.	либо оба `"ложь"`.	средний
`A эквивалентно B`	`⇔ ≡ ↔ =`	оба `A` и `B` являются `"истина"`; или оба являются `"ложь"`.	один из них`"истина"` и другой `"ложь"`.	средний
`A влечёт B` (импликация)	`⇒ → ⊂ <`	`A` это `"ложь"`; или `A` это `"истина"` и `B` это `"истина"`.	`A` это `"истина"` и `B` это `"ложь"`.	средний
`A не влечёт B` (обратная импликация)	`⇐ ← ⊃ >`	`A` это `"истина"` и `B` это `"истина"`; или `B` это `"ложь"`.	`A` это `"ложь"` и `B` это `"истина"`.	средний
`A или B`	`∨ v + ∥ \|`	`A` это `"истина"`; `B` это `"истина"`; или они оба `"истина"`.	оба `"ложь"`.	низший
`A XOR B`	`⊻ ⊕`	`A` это `"истина"` и `B` это `"ложь"`; или `A` это `"ложь"` и `B` это `"истина"`.	они оба `"истина"` или оба `"ложь"`.	низший

Константы

Константа	Обозначение	Описание
`TRUE`	`1 T ⊤ true`	Всегда возвращает `"истина"`.
`FALSE`	`0 F ⊥ false`	Всегда возвращает `"ложь"`.

Калькулятор Дискриминанта