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

Конъюнкция или логическое «и»
ABA∧B
0 0 0
0 1 0
1 0 0
1 1 1


Дизъюнкция или логическое «или»
ABA∨B
0 0 0
0 1 1
1 0 1
1 1 1


Следствие
ABA→B
0 0 1
0 1 1
1 0 0
1 1 1


Равносильность
ABA↔B
0 0 1
0 1 0
1 0 0
1 1 1


Штрих Шеффера
ABA|B = ¬(A∧B)
0 0 1
0 1 1
1 0 1
1 1 0


Отрицание или логическое «не»
A¬A
0 1
1 0


XOR
ABAxorB
0 0 0
0 1 1
1 0 1
1 1 0



Версия для печати — версия для печати
Пояснение
Под единичкой понимают истину, под ноликом — ложь. Под A и B — некоторые утверждения. Когда в записи между A и B стоит некоторый символ, то вся запись целиком — также является неким утверждением.
Пример:
Пусть A – 0 (ложь); B – 1 (истина). Тогда A→B – 1 (истина), так как утверждение: «из лжи (A) следует истина (B)» — истинно.





Если у вас есть мысли по поводу данной страницы или предложение по созданию математической (см. раздел «Математика») вспомогательной памятки, мы обязательно рассмотрим ваше предложение. Просто воспользуйтесь обратной связью.


© Школяр. Математика (при поддержке «Ветвистого древа») 2009—2016