Boolean Algebra and App

sebelk · 05-10-2009, 06:27 PM

Hi I search for a Linux app that perform some of these tasks:

*Calculations such as p->q <=> p v ~q and more complex (Boolean Algebra)
*Translation between expresions between expression like above to logic gates diagrams

Is there an app that do these tasks?

Thanks in advance!!

salasi · 05-11-2009, 03:05 AM

For requirement 1, you'll probably find some general math program (try http://sal.jyu.fi/A/1/index.shtml for possibilities) that will do it. None of those will address the problem of tranlsating into gates. for that you would be on a different page of SAL http://sal.jyu.fi/Z/1/index.shtml looking for, eg, VHDL-compatible apps.