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:
MCPI MCPI - This program estimates the value of PI by using a well known MonteCarlo Method.
To run the simulation, type the number of cycles you want your Palm to use to estimate PI.
There is a choice of two possible algorithms (Gaussian or area of the circle).
The final value may be quite different from the actual value of PI (3.14159)
ForecastM Uses four methods to predict future values. Charts provide a pictorial view of the data
RPN CalcSeries Poly-Math Calculator RPN CalcSeries Poly-Math Calculator - This calculator solves polynomial equations with real coefficients of degree 5 and below. All roots (REAL and COMPLEX), maximum/minimum and inflection points are also calculated. The polynomial itself, its first and second derivatives can be plotted in GRAPHS or displayed in LISTS
M-5 Neural Network Computer M-5 Neural Network Computer - Simulated Neural Networks can outperform traditional computers at some tasks.
M-5 uses the classic Feed Forward Back Propagation algorithm to adjust connection strengths (weights).
It uses floating point math to provide results equivalent to or surpassing those of desktop systems costing hundreds of dollars
Formulocity Formulocity provides fingertip access to formulas, equations, a graphing calculator and interactive graphing on your Palm handheld. Formulocity is a powerful, easy-to-use interactive math reference application designed for hands-on exploration of mathematics. Formulocity allows users to view descriptions of equations, enter their own variables and dynamically graph results
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
Quadratic Equation Calc Quadratic Equation Calc - Enter a, b, and c... and it's done, the answer to the quadratic equation
Trigonometry Quick Study Guide (Palm OS) Trigonometry Quick Study Guide (Palm OS) - Boost Your grades with this illustrated quick-study guide. You will use it from high school all the way to graduate school and beyond. FREE first 2 chapters in the trial version
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
Burns Burns - Medical application to help estimatives of burned area calculation based on Lund-Browder numbers. Easy and Quick! You only have to choose age and burned areas to have the total burned area estimative shown. There are 28 areas available to be considered and all of them easily choosen by checkboxes. English and Portuguese versions
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.
Please, select device to check if PawLogic supports it
