Truthfunctions are expressions in logic that depend solely on the truth values of their component propositions. Synonyms for truthfunctions include truth tables, logical operators, propositional calculus, and Boolean algebra. Truth tables are tables used to show the possibilities of truth and falsehood for different compound statements. Logical operators are connectives used to link component propositions, such as AND, OR, and NOT. Propositional calculus is the formal system used for studying and analyzing the properties of truthfunctions. Lastly, Boolean algebra is a branch of mathematics that studies the properties of truthfunctions and their application in digital circuits and computer science. All these terms describe the same concept of truthfunctions and are used interchangeably in logic and mathematics.