차례:
정의-DNF (Disjunctive Normal Form) 란 무엇입니까?
DNF (Disjunctive Normal Form)는 부울 수학에서 논리 공식의 정규화입니다. 다시 말해서, 논리식은 모든 변수와의 결합이 분리되고 그 결합이 각 결합에 한 번 존재하는 경우 분리 정규형이라고합니다. 동일한 제안에 대한 모든 분리형 정규형은 서로 동일하므로 모든 분리형 정규형은 고유하지 않습니다.
자동 정리 증명과 같은 영역에서 이산 정규형이 널리 사용됩니다.
Techopedia는 DNF (Disjunctive Normal Form)를 설명합니다.
논리식은 하나 이상의 리터럴의 하나 이상의 연결이 교대로 존재하는 경우에만 결정적인 형태입니다. 관련된 모든 변수가 모든 절에서 한 번만 표현되는 경우 공식은 완전 해석 적 정규 형식으로 간주됩니다. 결사 정규 형식과 유사하게, 결사 정규 형식의 명제 연산자는 AND, OR 및 NOT입니다.
모든 논리식은 동등한 이분법 정규 형식으로 변환 될 수 있습니다. 그러나 어떤 경우에는 논리적 함수의 기하 급수적 폭발이 분리형 정규 형식으로 변환되어 발생할 수 있습니다. 또 다른 두드러진 점은 고유 한 부울 함수는 하나의 고유 한 완전 분리형 정규 형식으로 만 표현할 수 있다는 것입니다. 진리표 방법, 진리 트리 또는 논리 동등 테이블과 같은 기술을 사용하여 논리 공식에 대한 분리형 정규 형식을 생성 할 수 있습니다. 해석 적 정상 형태의 변형 인 K-DNF는 계산 복잡성 연구에서 널리 사용되고 널리 사용된다.
