логика

Логическая операция/ соответствие в русском языке	Обозначение	Диаграмма Эйлера-Венна	Таблица  истинности
инверсия (отрицание, логическое "НЕ")/ "...не...", "неверно, что..."	¬		A	¬A
			0	1
			1	0
конъюнкция (логическое "И")/ "...и..."	Λ, &		A	B	AΛB
			0	0	0
			0	1	0
			1	0	0
			1	1	1
дизъюнкция (логическое "ИЛИ") "...или...", "...либо..."	V		A	B	AVB
			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