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