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:
Solve A 3 Variable Equation Solve A 3 Variable Equation is a great set of notes. They will tell you step by step how to solve three variable equations.
Also in the iSilo version which you are downloading, there are great illustrations of these problems
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
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
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
Palm4kids This is an application in which your children can get familiar with the basic math operations
PalmTex This is a Palm application that lets you type in TeX equations and preview them
GraphMaster GraphMaster is a full screen graph paper and color drawing program.
· 5 graphs to choose from! 3 shades of standard graph paper: light, medium, and dark. 1 dot type graph paper, and 1 circle graph paper
Math Facts Program designed to drill school children on basic addition, subtraction and multiplication skills
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
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
