An expression consisting solely of boolean variables and values and boolean operations, such as and, or, not, implies, etc.