좋은 부울 표현식 단순화가 있습니까?

좋은 부울 표현식 단순화가 있습니까? [닫은]

---

이전 코드를 리팩토링하고 있었고 너무 복잡하고 긴 여러 IF 조건이 발생했으며 단순화 할 수 있다고 확신합니다. 내 생각에 이러한 조건은 이후의 수정으로 인해 너무 많이 증가했습니다.

어쨌든, 내가 사용할 수있는 좋은 온라인 단순화를 아는 사람이 있는지 궁금합니다. 특정 언어에는 관심이 없습니다. 예를 들면 다음과 같습니다.

((A OR B) AND (! B AND C) OR C)

그리고 표현의 단순화 된 버전을주세요.

나는 다른 유사한 질문을 보았지만 좋은 단순화를 가리키는 것은 없습니다.

감사.

---

입력을 기반으로이 예에서와 같이 Wolfram Alpha를 사용해 볼 수 있습니다.

http://www.wolframalpha.com/input/?i=((A%20OR%20B)%20AND%20(NOT%20B%20AND%20C)%20OR%20C)&t=crmtb01&f=rc

---

Try Logic Friday 1It에는 캘리포니아 대학교 (Espresso 및 misII)의 도구가 포함되어 있으며 GUI와 함께 사용할 수 있습니다. 원하는대로 부울 방정식과 진리표를 입력 할 수 있습니다. 또한 그래픽 게이트 다이어그램 입력 및 출력 기능이 있습니다.

최소화는 2 단계 또는 다중 수준으로 수행 할 수 있습니다. 2 단계 양식은 제품 합계를 최소화합니다. 다중 레벨 형식은 논리 게이트로 구성된 회로를 만듭니다. 게이트 종류는 사용자가 제한 할 수 있습니다.

식은 C.

---

나는 것을 발견 부울 식 감속기는 논리 금요일보다 사용하기 훨씬 쉽다. 또한 설치가 필요하지 않으며 다중 플랫폼 (Java)입니다.

또한 Logic Friday에서 표현식 A | B은 진리표에 3 개의 항목 만 반환합니다. 나는 4를 기대했다

참고 URL : https://stackoverflow.com/questions/14902141/any-good-boolean-expression-simplifiers-out-there