부울 대수 간소화하는 프로그램 있냐?

[익명(125.130)]

부울 대수 논리식 간소화하는 프로그램 있냐?

식이 길어지기 시작하니까 간소화하기엔 노가다 양이 너무많아..

[이상(125.186)]

구글에 k-map program 이라고 검색만해도 많은거 같은데요?

[이상(125.186)]

http://k-map.sourceforge.net/

[dot(113.30)]

많~어

[익명(125.130)]

카노프 맵 말고 부울논리식 그 자체를 줄이는건 없나 해서 물어본거지

[ㅁㅇ(211.189)]

카노프만큼 적절한게 어디있노?