Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for digital and formal logic scholars and academic or anybody involved with logical expressions.
MathProf is an easy to use mathematics program within approximately 180 subroutines. MathProf can display mathematical correlations in a very clear and simple way. The program covers the areas Analysis, Geometry, Algebra, Stochastics,Vector algebra.
AL-Search is a Boolean based desktop search center. Use include/exclude search options to eliminate irrelevant results, and other advanced Boolean/file/text/date/time options to create sophisticated searches! Group and sort results! Create reports!
Use the special OxyNavigatorSettings class to setup common parameters: dataFile:String = "data.xml"; styleFile:String = "baseSkin.swf"; showLoader:Boolean = true; loaderFile:String = "loader.swf"; depthColor:Number = 0x000000; depthBackground:Boolean
Mesh Booleans for AutoCAD is a mesh boolean modeling plug-in for AutoCAD?®. Mesh Booleans for AutoCAD gives AutoCAD the ability to perform boolean operations between PolyFace Meshes, Polygon Meshes and 3D Solids or a combination of all.
Digital Challenge is a set of interactive activities for use in teaching basic digital concepts. The activities give students immediate feedback to reinforce correct responses. All student responses are corrected and graded by the program.