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:
Fraction Fit Fraction Fit is a calculator for converting between fractions and decimals. The program can help you find the right fraction for a decimal equivalent. When converting from a decimal to a fraction, the program also displays the actual and percentage error. Finger size buttons help find the next highest or next lowest fraction
Jordan's Math Machine Jordan's Math Machine - Designed to calculate the slope of lines, averages up to seven numbers, and interior and exterior angles of polygons
SumTimes SumTimes is a handy little freeware gadget for doing simple arithmetic with times that's a bit easier than using a scientific calculator.
Useful for everything from calculating your average lap times to working out whether you can fit one more song onto that CD/tape/minidisc
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
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
PlusMin Simple program for the youngest Palm users to practice with numbers
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
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
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 c3
