Логика. Алгебра логики

это математический аппарат, с помощью которого записывают, упрощают, вычисляют и преобразовывают логические высказывания.
Алгебра логики -

повествовательное предложение, о котором можно сказать, истинно оно или ложно.
ВЫСКАЗЫВАНИЕ может принимать только одно из двух логических значений –
истинно (1) или ложно (0).
Высказывание -

Логические операции и схемы
1. Отрицание (инверсия)
в естественном языке
соответствует словам
неверно, что...
не
обозначение

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

Диаграмма Эйлера-Ванна

Логическая схема

2. Логическая операция ДИЗЪЮНКЦИЯ
(логическое сложение)
в естественном языке
соответствует союзу ИЛИ
обозначение
v

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

Диаграмма Эйлера-Ванна

Логическая схема

2. Логическая операция КОНЪЮНКЦИЯ
(логическое умножение)
в естественном языке
соответствует союзу И
обозначение
&

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

Диаграмма Эйлера-Ванна