A table used to represent the boolean expressions of the logic gates, and their corresponding outputs.