Логические операции

-конъюнкции (логическое умножение) (И) &

-дизъюнкции (логическое сложение) (ИЛИ)

-инверсии (логического отрицания) (НЕ) ¬

Также используются обозначения

-конъюнкции (умножение)

-дизъюнкции (сложение) +

-инверсии (отрицания) x

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

			A	B	A&B
			1	1	1
•	Конъюнкции		0	1	0
			1	0	0
			0	0	0
•	Дизъюнкции	A	B	A B
		0	0	0
		1	0	1
		0	1	1
		1	1	1
	• Инверсии		A	¬A
			1	0
			0	1

Дополнительные логические операции

•Операция импликации (следования) - логическая связка «если… то…».

•Импликация записывается как

посылка следствие

(остриё всегда указывает на следствие).

•Импликация принимает значение 0 (ложь) только в том случае, когда первая переменная имеет значение 1, а вторая переменная – значение 0.

•Во всех остальных случаях импликация принимает значение 1 (истина)

Дополнительные логические операции

•Операция эквивалентности образуется соединением двух переменных связкой

«тогда и только тогда, когда…»

•Обозначается знаком ~

•Результатом операции будет истина (1) , если обе переменные имеют одинаковые значения (обе равны нулю или 1)