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

Высказывания обозначаются именами логических переменных. Логические переменные могут принимать только два значения - истина (1) и ложь (0).

Например:

А = {Дважды два равно четырём} - значение "истина" (1);

В = {Дважды два равно пяти} - значение "ложь" (0).

Базовых логических операций всего пять: конъюнкция (логическое умножение), дизъюнкция (логическое сложение), инверсия (логическое отрицание), импликация (логическое следование), эквивалентность (логическое равенство).