2013-02-15 27 views
93

Eski kodu yeniden düzenliyordum ve çok karmaşık ve uzun süren birkaç IF koşuluyla karşılaştım ve bunların basitleştirilebileceğinden eminim. Tahminimce, bu koşullar daha sonraki değişiklikler nedeniyle çok arttı.Herhangi bir iyi boolean ifadesi orada basitleştiriyor?

Her neyse, kullanabileceğim iyi bir çevrimiçi basitleştiriciden haberdar olup olmadığını merak ediyordum.

(! (A VEYA B) VE (B VE C) VEYA C)

Ve bana verin: Ben, örneğin içinde alacaktı sadece sadeleştiricidir herhangi belirli bir dilde ilgilenmiyorum Varsa, ifadenin basitleştirilmiş sürümü.

Diğer benzer sorulara baktım ama hiçbiri beni daha iyi bir sadeleştiriciye yönlendirmiyor.

Teşekkürler.

+0

WolframAlpha da * C * 'ya ulaşır. Ekstra kapı yok ... –

+0

Güzel bir çevrimiçi araç var - http://tma.main.jp/logic/index_en.html –

cevap

81

Sen girişe göre bu örnekte olduğu gibi Wolfram Alpha deneyebilirsiniz:

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

+2

Web sitesi, boole formülü biraz daha karmaşık hale geldiğinde basitleştirmek için iyi görünmüyor. Bunu deneyin: (((C DEĞİL) VE (A DEĞİL)) VEYA ((B DEĞİL) VE (DEĞİL) VE (DEĞİL D) VE (A DEĞİL)) VEYA ((B DEĞİL) VE (DEĞİL) VE D VE A) VEYA (B VE C VE (D DEĞİL) VE (A DEĞİL)) VEYA (B VE C VE D VE A)) –

+1

Gerçekten. Garip. Hatta basitleştirilmiş versiyonda 'BILMAMIŞ DEĞİLDİR VE B VEYA B DEĞİL VE B DEĞİL DEĞİL VE B DEĞİL VE B VEYA B DEĞİL VE C VE D VEYA VEYA B VE C DEĞİL VE B VEYA B VE C VE DEĞİL DEĞİL D VE A' –

+2

Her zaman bazı ifadeler için çıkarılamayan doğruluk tablosunu istiyorsanız, soruyu "doğruluk tablosu" ifadesiyle ve ardından – Belgi

14

Logic Friday 1'u deneyin. California Üniversitesi (Espresso ve misII) araçlarını içerir ve bunları bir GUI ile kullanılabilir hale getirir. Boolean denklemlerini ve doğruluk tablolarını istediğiniz gibi girebilirsiniz. Aynı zamanda bir grafik kapı diyagramı girişi ve çıkışı sunar. Minimasyon iki seviyeli veya çok seviyeli olarak gerçekleştirilebilir. İki seviyeli form, minimize edilmiş ürün toplamı verir. Çok seviyeli form, mantıksal kapılardan oluşan bir devre yaratır. Kapı tipleri kullanıcı tarafından kısıtlanabilir.

İfadeniz C ile basitleştirilmiştir.

+2

Hızlı bir çevrimiçi araç için bu gerçekten yararlıdır: http://tma.main.jp/logic /index_en.html –

5

Ben The Boolean Expression Reducer Mantık Cuma kullanmak çok kolay olduğunu gördük. Ayrıca kurulum gerektirmez ve çoklu platform (Java).

Ayrıca Mantık'ta Cuma günü A | B ifadesi, doğruluk tablosunda yalnızca 3 girişi döndürür; Beklediğim gibi 4.

+3

"Mantıksal/Tüm Satırları Göster" seçeneğini Etkinleştir seçeneği ile başlatınız. , sadece tüm satırları çıktı değeri 1 ile elde edersiniz. –

+1

Dahili olarak, bexpred mintermleri birleştirmek için basit algoritmalar kullanıyor. Küçük ifadeler için yardımcı olabilir, ancak kesinlikle son teknoloji ürünü değildir. –

+2

"A \ * B \ * (! A \ * B +! A \ *! B)" girişi için bu kavanoz SOP False değerini ancak POS True değerini döndürür. Tam güvenilir betik değil ... – Evil