Таблица истинности онлайн

Данный онлайн калькулятор строит таблицу истинности для любого логического выражения. Чтобы начать, введите логическое выражение в поле ввода.

Калькулятор таблицы истинности
Составить таблицу истинностилогического выражения:abcd


Установить калькулятор на свой сайт

Уважаемые пользователи!

Мы развиваем данный сайт с 2011 года, постоянно совершенствуем наши калькуляторы, и нам очень хотелось бы сохранить данный проект. В настоящее время в России реклама Google Adsense больше не работает, а никаких других источников финансирования у нас толком нет. Вводить платную подписку за подробные решения нам не хотелось бы. Мы просим Вас о помощи. Если Вам нравится наш сайт и он помог Вам в освоении математики, мы убедительно просим поддержать нас, будем рады любой сумме.

Калькулятор поддерживает следующие логические операции:

Логическая операция "не" (отрицание, инверсия)

Данная операция обозначается символом . Для её ввода в наш онлайн калькулятор можно использовать либо символ ¬, либо значок восклицательного знака !. Операция отрицания является унарной (содержит один операнд) и обладает наивысшим приоритетом (выполняется первой) среди логических операций.

Таблица истинности логической операции "не" имеет вид:

Логическое "и" (конъюнкция, логическое умножение)

Данная операция обозначается символом . Для её ввода в наш онлайн калькулятор можно использовать либо символ ∧, либо два значка амперсанда &&. Операция конъюнкция является бинарной (содержит два операнда).

Таблица истинности логической операции "и" имеет вид:

Логическое "или" (дизъюнкция, логическое сложение)

Данная операция обозначается символом . Для её ввода в наш онлайн калькулятор можно использовать либо символ ∨, либо два значка ||. Операция дизъюнкция является бинарной.

Таблица истинности логической операции "или" имеет вид:

Логическая операция "исключающее или" (сложение по модулю 2)

Данная операция обозначается символом . Для её ввода в наш онлайн калькулятор можно использовать либо символ ⊕, либо функцию .

Таблица истинности логической операции "исключающее или" имеет вид:

Логическая операция "не и" (штрих Шеффера)

Данная операция обозначается символом . Для её ввода в наш онлайн калькулятор можно использовать либо символ ↑, либо значок |.

Таблица истинности логической операции "не и" имеет вид:

Логическая операция "не или" (стрелка Пирса)

Данная операция обозначается символом . Для её ввода в наш онлайн калькулятор можно использовать либо символ ↓, либо функцию .

Таблица истинности логической операции "не или" имеет вид:

Логическая операция "эквивалентность"

Данная операция обозначается символом . Для её ввода в наш онлайн калькулятор можно использовать либо символ ⇔, либо конструкцию <=> (знак меньше, знак равно, знак больше).

Таблица истинности логической операции "эквивалентность" имеет вид:

Логическая операция "исключающее не или"

Данная операция обозначается символом . Для её ввода в наш онлайн калькулятор можно использовать либо символ ⊙, либо функцию .

Таблица истинности логической операции "исключающее не или" имеет вид:

Стоит отметить, что таблицы истинности для бинарных логических операций "эквивалентность" и "исключающее не или" совпадают. В случае, если указанные операции являются -арными, их таблицы истинности различаются. Отметим, что -арную операцию в наш калькулятор можно ввести только в виде соответствующей функции, например , и результат такого выражения будет отличаться от результата выражения . Потому что последнее интерпретируется как , в то время как в случае с - операция "эквивалентность" выполняется сразу с учетом всех аргументов.

Логическая операция "импликация"

Данная операция обозначается символом . Для её ввода в наш онлайн калькулятор можно использовать либо символ ⇒, либо конструкцию => (знак равно, знак больше).

Таблица истинности логической операции "импликация" имеет вид:

При формировании таблицы истинности сложного (составного) логического выражения необходимо использовать представленные выше таблицы истинности соответствующих логических операций.

Другие полезные разделы:

Оставить свой комментарий: