Логика и ее свойства

Дизъюнкция
Обозначение:

Диаграмма Эйлера-Венна для дизъюнкции:

Определение дизъюнкции может быть записано в виде таблицы истинности:

Конъюнкция
Обозначение:

Определение конъюнкции может быть записано в виде таблицы истинности:

Диаграмма Эйлера-Венна для конъюнкции:

Инверсия
Обозначение:

Определение инверсии может быть записано в виде таблицы истинности:

Диаграмма Эйлера-Венна для инверсии:

Импликация
Обозначение:

Определение импликации может быть записано в виде таблицы истинности:

Эквиваленция
Обозначение:

Определение эквиваленции может быть записано в виде таблицы истинности:

Август де Морган

Мужчины VS Женщины