Una expresión que consiste únicamente en las variables booleanas, valores y operaciones booleanas, tales como "y, o, no, implica", etc..