1
부울 식 w.r.t를 최소화 할 수있는 알고리즘이나 프로그램을 찾고 있습니다. 결과 식에 사용 된 문자 수. 나는 Quine-McCluskey와 Espresso와 같은 보통의 최소화 알고리즘을 알고 있지만 항상 영리한 브라케팅을 포함하는 표현보다 훨씬 더 긴 분리형 정규형을 생성합니다.부울 식의 최소화
아이디어가 있으십니까?
A
답변
1
기본적으로 논리 게이트 수의 최소화를 요청합니다. 논리 게이트의 결과 네트워크는 여러 레벨과 다른 게이트 유형 (NAND, NOR, XOR, ...)을 가질 수 있습니다.
다단계 논리의 합성은 지난 50 년 동안 연구 대상이었던 다소 어려운 문제입니다. 이 분야에서 인기있는 시스템은 misII으로 캘리포니아 대학에서 1988-1993 (sic!)으로 개발되었습니다.
는 Logic Friday 1 멋진 GUI 주위 misII 및 Espresso을 제시하는 Windows 도구를 사용해보십시오.