Данный онлайн калькулятор строит таблицу истинности для любого логического выражения. Чтобы начать, введите логическое выражение в поле ввода.
Калькулятор поддерживает следующие логические операции:
Данная операция обозначается символом
. Для её ввода в наш онлайн калькулятор можно использовать либо символ ¬, либо значок восклицательного знака !. Операция отрицания является унарной (содержит один операнд) и обладает наивысшим приоритетом (выполняется первой) среди логических операций.
Таблица истинности логической операции "не" имеет вид:
Данная операция обозначается символом
. Для её ввода в наш онлайн калькулятор можно использовать либо символ ∧, либо два значка амперсанда &&. Операция конъюнкция является бинарной (содержит два операнда).
Таблица истинности логической операции "и" имеет вид:
Данная операция обозначается символом
. Для её ввода в наш онлайн калькулятор можно использовать либо символ ∨, либо два значка ||. Операция дизъюнкция является бинарной.
Таблица истинности логической операции "или" имеет вид:
Данная операция обозначается символом
. Для её ввода в наш онлайн калькулятор можно использовать либо символ ⊕, либо функцию
.
Таблица истинности логической операции "исключающее или" имеет вид:
Данная операция обозначается символом
. Для её ввода в наш онлайн калькулятор можно использовать либо символ ↑, либо значок |.
Таблица истинности логической операции "не и" имеет вид:
Данная операция обозначается символом
. Для её ввода в наш онлайн калькулятор можно использовать либо символ ↓, либо функцию
.
Таблица истинности логической операции "не или" имеет вид:
Данная операция обозначается символом
. Для её ввода в наш онлайн калькулятор можно использовать либо символ ⇔, либо конструкцию <=> (знак меньше, знак равно, знак больше).
Таблица истинности логической операции "эквивалентность" имеет вид:
Данная операция обозначается символом
. Для её ввода в наш онлайн калькулятор можно использовать либо символ ⊙, либо функцию
.
Таблица истинности логической операции "исключающее не или" имеет вид:
Стоит отметить, что таблицы истинности для бинарных логических операций "эквивалентность" и "исключающее не или" совпадают. В случае, если указанные операции являются -арными, их таблицы истинности различаются. Отметим, что -арную операцию в наш калькулятор можно ввести только в виде соответствующей функции, например , и результат такого выражения будет отличаться от результата выражения . Потому что последнее интерпретируется как , в то время как в случае с - операция "эквивалентность" выполняется сразу с учетом всех аргументов.
Данная операция обозначается символом
. Для её ввода в наш онлайн калькулятор можно использовать либо символ ⇒, либо конструкцию => (знак равно, знак больше).
Таблица истинности логической операции "импликация" имеет вид:
При формировании таблицы истинности сложного (составного) логического выражения необходимо использовать представленные выше таблицы истинности соответствующих логических операций.