Таблица истинности отрицания (логическое НЕ)
Отрицанием высказывания называется новое высказывание, которое истинно, если высказывание ложное и наоборот.
Знаком отрицания является ¬.
Синонимы: логическое «НЕ».
Значения функции отрицания представлены в таблице:
Логическим элементом операции отрицания (Не) является:
![element not](images/element_not.png)
К логическим операциям так же относятся:
Унарные:
Бинарные
Чтобы построить таблицу истинности онлайн по заданной формуле или вектору вы можете воспользоваться нашим сервисом, который кроме того так же вычисляет СКНФ, СДНФ, строит полином Жегалкина. Результат работы можно скачать в формате rtf, который открывается любым текстовым редактором (MS Word, Open Office Write и т.д.)