0
부울식이 결합 정규형입니다. CNF로 유지하면서 단순화하는 "간단한"알고리즘이 있습니까?CNF 단순화 알고리즘
특히, 다음 표현식의 어떤 특성으로 인해 단순화가 발생합니까?
가 단순화 DNF을 얻으려면 '1'세포를 얻을 분류됩니다
(~a+b+c)(a+~b+c)(a+~c)
이다
(~a+b+c)(a+~b)(a+~c)
A
답변
0
귀하의 예제의 Karnaugh map ...로 단순화 최소 수는 minterms입니다.
마찬가지로 '0'셀을 그룹화하여 최소 수의 용어로 역 커버를 얻을 수 있습니다.
역 맵 : 생성 된 용어
리터럴 원하는 최소 CNF
에 도달하도록 반전 될 수있다 (a + ~ b) (a + ~ c) (~ a + b + c)
이 절차는의 역 0은 역 리터럴을 사용하는 maxterm (일반적으로 CNF clause)입니다.