Основные понятия алгебры логики:

Логическая величина - это концептуальный объект, который может принимать два значения: истина или ложь.

Логическая операция - это действие, выполняемое над логическими величинами, которое возвращает новую логическую величину. Основные логические операции: конъюнкция, дизъюнкция, отрицание, импликация.

Логическая формула - это выражение, полученное в результате применения логических операций к логическим величинам. Логические формулы могут использоваться для описания логических законов и вывода логических высказываний.