AND, OR, NOT, 괄호, 변수로만 이루어진 식. 즉 [명제 논리](/pages/Propositional%20logic.txt)로 구성된 식.