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