Truth functions are a fundamental concept in mathematical logic that describe the relationship between the truth values of logical propositions and the truth values of their constituent parts. There are a variety of synonyms that can be used to describe truth functions, including logical operators, propositional functions, truth tables, and boolean functions. Logical operators refer to the symbols used to connect propositions in logical expressions, such as "and", "or", and "not". Propositional functions are functions that take one or more propositions as input and output a truth value. Truth tables are tables that display the possible truth values of a logical expression. Boolean functions are functions that operate on truth values, producing an output that is either true or false.