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

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

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

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

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

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

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

XOR
A	B	AxorB
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)» — истинно.

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