Алгебра логики как раздел математики, высказывание как объект, операции над высказываниями
Таблица истинности для логического выражения