Study of mathematical logic, including operations and relationships between expressions and values. Explores concepts such as truth tables and value determination