İyi bir boole ifadesi basitleştirici var mı? [kapalı]

110

Eski kodu yeniden oluşturuyordum ve çok karmaşık ve uzun olan birkaç IF koşuluyla karşılaştım ve bunların basitleştirilebileceğinden eminim. Tahminim, bu koşullar daha sonraki değişiklikler nedeniyle çok arttı.

Her neyse, herhangi birinizin kullanabileceğim iyi bir çevrimiçi basitleştirici bilip bilmediğini merak ediyordum. Herhangi bir özel dille ilgilenmiyorum, sadece örneğin içine alacak bir basitleştirici:

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

Ve varsa bana ifadenin basitleştirilmiş bir versiyonunu ver.

Diğer benzer sorulara baktım ama hiçbiri beni iyi bir basitleştiriciye işaret etmiyor.

Teşekkürler.

boolean-logic boolean-expression

— Mojarras
kaynak

1

WolframAlpha da C'ye varır . Fazladan kapı yok ...

— Axel Kemper

1

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

— Roman Hocke

Diğer bir araç boolean-algebra.com'dur ve çözme adımlarını gösterecektir. Örneğin, sizinki yalnızca absorpsiyon yasası A + AB = A ile çözülebilir. Çok gelişmiş değildir, bu nedenle minimal formdan başka bir şeye ihtiyacınız varsa, başka bir siteyi kullanmalısınız.

— John Smith

93

Wolfram Alpha'yı girdinize göre bu örnekte olduğu gibi deneyebilirsiniz:

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

— 500 - Dahili Sunucu Hatası
kaynak

3

Web sitesi, biraz daha karmaşık hale geldiklerinde boole formüllerini basitleştirmek için o kadar iyi görünmüyor. Şunu deneyin: (((C DEĞİL) VE (A DEĞİL)) VEYA ((B DEĞİL) VE (C DEĞİL) VE (D DEĞİL) VE (A DEĞİL)) VEYA ((B DEĞİL) VE (C 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))

— Albert Hendriks

1

Aslında. Garip. Hatta basitleştirilmiş versiyonda barflar

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 - Dahili Sunucu Hatası

2

Bazı ifadeler için her zaman çıktısı alınmayan doğruluk tablosunu istiyorsanız, sorguya "doğruluk tablosu" kelimeleri ve ardından ifade

— Belgi

16

Try Logic Friday 1It, University of California'dan (Espresso ve misII) araçlar içerir ve bunları bir GUI ile kullanılabilir hale getirir. Boole denklemlerini ve doğruluk tablolarını istediğiniz gibi girebilirsiniz. Ayrıca grafiksel bir kapı diyagramı girişi ve çıkışı da bulunur.

Minimizasyon, iki seviyeli veya çok seviyeli gerçekleştirilebilir. İki seviyeli form, minimum ürün toplamı sağlar. Çok seviyeli form, mantıksal kapılardan oluşan bir devre oluşturur. Kapı tipleri kullanıcı tarafından kısıtlanabilir.

İfadeniz basitleşiyor C.

— Axel Kemper
kaynak

2

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

— Lenar Hoyt

6

The Boolean Expression Reducer'ın Logic Friday'den çok daha kolay olduğunu buldum . Ayrıca kurulum gerektirmez ve çoklu platformdur (Java).

Ayrıca Logic Friday'de ifade A | B, doğruluk tablosunda yalnızca 3 girdi döndürür; 4 bekliyordum.

— Pawel Dubiel
kaynak

3

Logic Friday 1'de "Truthtable / Show all Rows" seçeneğini etkinleştirin. Aksi takdirde, yalnızca çıkış değeri 1 olan tüm satırları alırsınız.

— Axel Kemper

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 değildir.

— Axel Kemper

2

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

— Evil

bağlantı koptu, kimin çalışan bir bağlantısı var?

— HJLebbink