PawLogic is a program for manipulating boolean expressions. The program handles both expressions in propositional logic and quantified boolean formulae (QBF).
Logic is widely used today. It forms the basis of mathematical proof methods. It is used in formal verification like symbolic model checking and equivalence checking of combinational and sequential circuits. Logic is also behind product configurators and the construction of remote controls and traffic light intersections. And logic is something we all use daily. For example, most of us readily accept the following reasoning: "If it rains, I get wet. It rains. Therefore I get wet." This is applied logic.
PawLogic lets you work and experiment with logic. If you are a student of logic, you get a valuable tool to aid you in your studies. If you are a professional working with logic, you get an always accessible logic program for you to use whether at the office, at home or on the move. And if you are just interested in the world of logic, here is your chance to get hands-on experience.
Like it? Share with your friends!
Supported operating systems:
Palm OS 3.x, Palm OS 4.x, Palm OS 5.x
Similar Software:
Geometry Geometry - School students will find this geometric application helpful. Find the area, volume and perimeter of basic geometric figures. Triangles, cubes, rectangles, cylinders, spheres and other figures
Boolean Function Simplification Tool Boolean Function Simplification Tool - A useful educational tool is presented for minimizing low order Boolean expressions.
The algorithm follows the Karnaugh map looping approach and provides optimal results.
For the implementation, C++ was used on the CodeWarrior for Palm Operating System environment
Quadratic Equation Calc Quadratic Equation Calc - Enter a, b, and c... and it's done, the answer to the quadratic equation
RatBrain RatBrain uses the classic Feed Forward Back Propagation algorithm to adjust connection strengths (weights). It can have up to eight variables on the Input layer, has three neurons in the Hidden layer and an Output neuron.
It uses four Memo files . The NNtrain file contains the data to train the Neural Net.
Use the Palm 'Memo Pad' to create the files
Geo-Matic Polygons Geo-Matic Polygons, one of several modular applications in the Geo-Matic For The Palm lineup, allows the quick and easy calculation of all 8 major and secondary features of any regular polygon with three or more sides given any of 15 combinations of two input values
Plot Pilot Plot Pilot is a freeware plotter for predefined functions or user definable relations formatted as tuples in a memo text.
The functions are evaluated by basic statistical routines. The graphics display is configurable.
Random and shuffle modules are also included, and basic audio output demo functions
Easy Math Easy Math - Do you think your kids may benefit from more math practice? If so, here's a simple program that will help
BeSmart BeSmart - This is a pretty simple, but quite useful application will improve your skill to work with numbers. Either you want count them in your mind or your child is studying in school, the application will be helpful. It generates randomly for you number problems, allows you write on the screen, check your answer and shows whether you answered it correctly
PGraph PGraph is a program for drawing and analyzing math functions
Prime Checker Prime Checker is a simple program that asks you to enter in a number (up to 64 digits!), and then tells you if it is prime or not.
For example if you enter in 16, it will display 2^4.
I am 13 years old, so this program is freeware.
Feel free to spread it around.
See UserManual.txt for more instructions
Other Software by developer «PawEng»:
not found
Comments on PawLogic:
Comments not found
If you noted an error or download link is broken, please, report it via this page or use comments.
PawLogic is compatible with your device Palm Treo 700p
