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:
ArithmeTick ArithmeTick is challenging math game where you solve addition, subtraction, multiplication and division problems!
How fast can you add and multiply? Solve math problem against the clock to achieve the highest score! A practice mode is also included to help sharpen your math skills
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
Journal Club Journal Club is a freeware Palm Os Program. It was designed to help physicians, residents, and medical students to quickly look up terms and calculate Relative Risk, PPV, NPV, Sensitivity, Specificity, etc. Simply enter the data once and then it runs all the calcs and displays the results
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
Multiplication Solar System Multiplication Solar System is a math multiplication tutorial program for 7-9 year olds. Solve multiplication problems to blast off to planets in the solar system
Boolean Function Simplification Tool Boolean Function Simplification Tool - A useful educational tool is presented for minimizing low order Boolean expressions.
The algorithm follows the Karnaugh map looping approach and provides optimal results.
For the implementation, C++ was used on the CodeWarrior for Palm Operating System environment
timer MathFacts timer MathFacts - Beta Test version of a math facts quizzer that allows adjustment of the maximum operand to adapt to varying grade levels and an adjustable timer.
On-screen buttons are used to skip using Graffiti.
This has been tested on a Clie PEG-T665C and on the Palm emulator.
Let me know if you run into problems with other devices. Enjoy
Digits of Pi Digits of Pi is a simple app that displays the first 100 decimal digits of pi right in the palm of your hand.
It has a simple, uncluttered screen which makes the viewing even easier.
You can view the digits of this mystical number anywhere, anytime!
It is useful for mathematicians, scientists, students, teachers, etc
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 Handera TRGpro