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