차례:
정의-CNF (Conjunctive Normal Form) 란 무엇입니까?
CNF (Conjunctive Normal Form)는 AND 또는 OR이있는 절의 조합으로 수식을 표현하는 부울 논리에 대한 접근 방식입니다. AND 또는 AND로 연결된 각 절은 리터럴이거나 분리 또는 OR 연산자를 포함해야합니다. CNF는 자동 정리 증명에 유용합니다.
Techopedia는 CNF (Conjunctive Normal Form)를 설명합니다.
결합 형 정규 형식에서 부울 논리의 명령문은 절과 분리 절을 결합한 것입니다. 다시 말해, 명령문은 AND로 연결된 일련의 OR입니다.
예를 들면 다음과 같습니다.
(A OR B) 및 (C OR D)
(A OR B) 및 (C OR B 아님)
절은 리터럴 일 수도 있습니다.
A 또는 B
A와 B
리터럴은 리터럴 절과 단일 절을 갖는 결합의 결합으로 CNF에 표시됩니다. 분리형 정규 형식과 같은 다른 형식으로 작성된 명령문을 CNF로 변환 할 수 있습니다.
