왜 Normal Form이 필요한가?논리식은 같은 의미를 여러 방식으로 표현할 수 있다. 예를 들어 아래 두 식은 완전히 동일하다.p ⇒ q¬p ∨ q사람 눈에는 달라 보이지만 진리표가 동일하다. 근데 컴퓨터는 생긴 게 다르면 같은지 모른다. 그래서 모든 식을 표준화된 형태로 변환하면, 비교나 분석이 훨씬 쉬워진다.Normal form의 규칙은 세 가지다.Operator Standardization: ∧, ∨, ¬ 만 허용 (⇒, ⇔, ⊕ 없음)Structural Standardization: AND-of-ORs 또는 OR-of-ANDs 구조만 허용Negation Standardization: ¬는 변수에만 붙일 수 있음 (¬(p ∨ q) 같은 형태 불가)Literal이란?Normal form을 이해하려..