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:
Math Facts Program designed to drill school children on basic addition, subtraction and multiplication skills
MathHelper MathHelper calculates 12 helpful mathematical functions such as quadratic equations and the area of a circle.
It is the perfect program for anyone who is annoyed by the demand to continuously work out annoying and time consuming equations
Geometry Quick Study Guide (Palm OS) Geometry Quick Study Guide (Palm OS) - Boost Your grades with this illustrated quick-study guide. You will use it from college to graduate school and beyond. Intended for everyone interested in Math and Science, particularly high school and undergraduate students
Formula-In-One Formula-In-One - Too many formulas to remember? Here is a program to help you organize them in a systematic way. You can key in the title of the formula, description and sketch and erase the formula. So, next time when you forget about a certain formula, just check it up using this application
GeoPro GeoPro - Calculate the geometry of solids like cubes, spheres, cylinders, cones, and more. Plain figures like triandles, squares, trapezoid, circles, and find the centroid of parabols. The application is intendent for school and college students in asignatures relative to geometric and mathematics.
Geometric application
Coumadin Dosing Calculator & Database Coumadin Dosing Calculator & Database - This Multidimensional Application is based on algorithms from University of Michigan CVS and consists of 3 main parts: Warfarin Dosing Calculator, Warfarin Dosing Information, and a Patient Database
Linear Algebra Quick Study Guide (Palm OS) Linear Algebra Quick Study Guide (Palm OS) - Boost Your grades with this illustrated quick-study guide. You will use it from college to graduate school and beyond. Intended for everyone interested in Math and Science, particularly undergraduate and graduate students.
Table of Contents:
I
PPick PPick- generates pseudo-random numbers (using the Palm OS built-in random number generator), for use in games.
For instance, you could use it to decide who goes first, or as a dice roller -- it is flexible enough to "roll" any type of dice
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
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
