Boolean algebra förenklare

[Generator]

Finns det något simpelt program där man kan skriva in en truth table eller boolean algebra ekvation för att sedan få ut den två-level eller multilevel logic? (Inte grafisk representation med gates, helt enkelt en förenklad ekvation)

Om ni undrar varför jag behöver ett sådant program så är det helt enkelt för att kolla så att man kommit till den bästa lösningen med den gamla hederliga metoden, papper och penna.

[ahlsten]

Wolfram Alpha brukar vara bra för det.

[victor_passe]

logic friday

[Generator]

Logic friday verkar vara bra(jag har laddat ner och testat det nu) men jag hittar inte hur jag omvandlar till multilevel logic. Går det inte eller måste jag öppna ögonen när jag använder programmet?

[4kTRB]

Tina ska gå att simulera digitala kretsar i men
om man kan knappa in sanningstabeller vet jag inte.

http://www.tina.com/English/tina/student_version

Edit: Minilog bygger på samma alogoritm som Logic Friday

http://margo.student.utwente.nl/el/cad-cam/mini450.txt

[Generator]

Krets simuleringsprogram har jag men däremot ska jag kolla upp Minilog nu.

[4kTRB]

Lite om Minilog
http://minilog.software.informer.com/wi ... _minimizer