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 Formulas and Tables (Palm OS) Math Formulas and Tables (Palm OS) - An essential reference guide for Math, Science, and Engineering students. You will use it from high school all the way to graduate school and beyond
Scatter Plot Scatter Plot from Computer Logiciel is an amazing math program. Scatter Plot enables Palm OS users to give X and Y locations and see them plotted on a large grid right on their Palm Pilot screen! Scatter Plot can also save records of X and Y plots in a memo, connect the plot with a line, and more! This program is a must for any one intrested in math or for any math student
2 = 1 2 = 1 - This algebra problem is great for math nuts.
It follows the rules of mathematics, except for one little rule, and that allows 2 to equal 1.
But what is the mathematical error? That's the challenge.
This app is freeware. Feel free to email me with questions or comments, or suggestions for other math-related Palm apps
CFB Primes CFB Primes is an optimised PalmOS program which can find the prime factors and closest primes of any integer up to one billion (US) in a few seconds or less.
The standard edit menu allows you to make use of the results in other applications
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
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
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
Digital Math Teacher (Palm OS) Digital Math Teacher for Palm will help children to learn addition, substraction, division and multiplication, but it can also be used by adults who want to brush up on their education.
To enhance your math skills, PureGaming.org added a special Time Trail mode to the Palm version.
You can set the exercises to use multiplechoice or not + you can set the difficulty
Percent Table You can convert marks from 1 to 1000 into 100% with 0,1 or 2 decimal places
Math Steamer Math Steamer - Choo Choo! Start "Training", and have fun while practicing your basic math skills.
Math Steamer is an easy-to-learn, math drill game that helps you practice basic math skills, and expose you to history about railroads
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 IBM Workpad
