Википедия

Таблица истинности: различия между версиями

Интерактивная навигация по истории
(Показать все непатрулированные изменения)
[непроверенная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
→‎Таблицы истинности для основных двоичных логических функций: Изменил порядок значений переменных (а и в), иначе была неверна таблица импликации (была обратная импликация) но формальная запись была прямой импликации. И такое порядок (набор значений) привычнее. Надеюсь согласитесь.
викификация, оформление, стилевые правки
Строка 1:
{{falseredirect|Значение истинности}}
'''Таблица истинности''' — таблица, описывающая логическую функцию.хер
 
Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность.
Например, в двузначной логике они могут принимать значения «истина» либо «ложь» (<math>true</math> либо <math>false</math>, <math>1</math> либо <math>0</math>).
 
Табличное задание функций встречается не только в логике, но и в логических функциях. Таблицы оказались довольно удобными, и с начала XX века за ними закрепилось это специальное название. Особенно часто таблицы истинности применяются в [[булева алгебра|булевой алгебре]] и в аналогичных системах многозначной логики.
 
== Таблицы истинности для основных двоичных логических функций ==
Строка 186 ⟶ 181 :
|}
|}
 
'''В программировании''':
* Конъюнкция = AND = И = <math>\land</math> = &
* Дизъюнкция = OR = ИЛИ = <math>\lor</math> = |
* Сложение по модулю 2 = XOR = ИСКЛЮЧАЮЩЕЕ ИЛИ = <math>\oplus</math> = ~
* Отрицание = NOT = НЕ = <math>\neg</math> = !
 
== Таблицы истинности для некоторых троичных логических функций ==
Источник — https://ru.wikipedia.org/wiki/Таблица_истинности