Таблица истинности отрицания (логическое НЕ)

Отрицанием высказывания называется новое высказывание, которое истинно, если высказывание ложное и наоборот. 

Знаком отрицания является ¬.

Синонимы: логическое «НЕ».

Значения функции отрицания представлены в таблице:

Логическим элементом операции отрицания (Не) является:

К логическим операциям так же относятся:

Унарные:

• Отрицание

Бинарные

• Дизъюнкция
• Конъюнкция
• Исключающее ИЛИ
• Стрелка Пирса
• Штрих Шеффера
• Импликация
• Обратная импликация
• Эквиваленция

Чтобы построить таблицу истинности онлайн по заданной формуле или вектору вы можете воспользоваться нашим сервисом, который кроме того так же вычисляет СКНФ, СДНФ, строит полином Жегалкина. Результат работы можно скачать в формате rtf, который открывается любым текстовым редактором (MS Word, Open Office Write и т.д.)