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

110

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

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

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

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

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

감사.

boolean-logic boolean-expression

— Mojarras
소스

1

WolframAlpha는 또한 C에 도달합니다 . 추가 게이트 없음 ...

— Axel Kemper 2013 년

1

멋진 온라인 도구가 있습니다 -tma.main.jp/logic/index_en.html

— Roman

또 다른 도구는 boolean-algebra.com 으로 해결 단계를 보여줍니다. 예를 들어, 흡수 법칙 A + AB = A만으로 해결할 수 있습니다. 너무 발전된 것이 아니므로 최소한의 형태 이외의 것이 필요하면 다른 사이트를 사용하는 것이 좋습니다.

— John Smith

93

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

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

— 500 내부 서버 오류
소스

3

웹 사이트는 부울 수식이 조금 더 복잡해지면 단순화하는 데 좋지 않은 것 같습니다. 이것을 시도하십시오 : (((NOT C) AND (NOT A)) OR ((NOT B) AND (NOT C) AND (NOT D) AND (NOT A)) OR ((NOT B) AND (NOT C) AND D AND A) 또는 (B AND C AND (NOT D) AND (NOT A)) 또는 (B AND C AND D AND A))

— 알버트 Hendriks

1

과연. 이상한. 그것은 심지어 단순화 된 버전에서 barfs

NOT C AND NOT A OR NOT B AND NOT C AND NOT D AND NOT A OR NOT B AND NOT C AND D AND A OR B AND C AND NOT D AND NOT A OR B AND C AND D AND A

.

— 500-내부 서버 오류

2

일부 표현식에 대해 항상 출력되지 않는 진리표를 원하는 경우 "진리표"라는 단어 다음에 표현식

— Belgi

16

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

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

식은 C.

— 악셀 켐퍼
소스

2

빠른 온라인 도구를 들어이 정말 도움이된다 : tma.main.jp/logic/index_en.html

— LENAR 호이트

6

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

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

— 파웰 듀 비엘
소스

3

활성화 옵션 로직에서 "Truthtable / 모든 행을 표시"금요일 1. 그렇지 않으면, 당신은 단지 출력 값 1. 모든 행 수

— 악셀 켐퍼

1

내부적으로 bexpred는 간단한 알고리즘을 사용하여 minterm을 병합합니다. 작은 표현에는 도움이 될 수 있지만 확실히 최첨단은 아닙니다.

— Axel Kemper

2

"A * B * (! A * B +! A *! B)"입력의 경우이 jar는 SOP False를 반환하지만 POS True를 반환합니다. 아니 정확히 신뢰할 수있는 스크립트 ...

— 악

링크가 끊어졌습니다. 누가 작동하는 링크가 있습니까?

— HJLebbink