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