Логические операции. НЕ – операция отрицания. X Х

НЕ – операция отрицания.

X	Х

И – конъюнкция (*)

X	Y	X * Y

ИЛИ – дизъюнкция

X	Y	X Y

ЕСЛИ ТО – импликация

Х – данный четырехугольник – квадрат

Y – около данного четырехугольника можно описать окружность

X	Y	X Y

ТОГДА И ТОЛЬКО ТОГДА - эквиваленция

Х – 24 делится на 6

Y – 24 делится на 3

X	Y	X Y

X Y = Х Y

X Y = (Х Y) *

Логическая формула.

1. Всякое логическое определение и символы ИСТИНА и ЛОЖЬ являются формулами

2. Если Х и Y – формулы, то все операции тоже формулы

3. Никаких других формул в алгебре логики нет.