| |
|
|
|
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 accissible 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.
PawLogic works under PalmOS 2.0 and higher. Copyright © 2000
Poul F. Williams. All Rights Reserved.
Visit the PawEng webpage for more information. We have a manual available online including a number of screenshots.
|
| « read more about PawLogic -- License B 1.0.3 |
|
|
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » JFPCreator 1.02
|
| Fractals generator.Demo (Save in BMP disabled) Vieiewing of bewitching images of fractal Julia easily received in program JFPCreator removes a stress and improves mood. The program allows to observe deformations a fractal structures ` in real time ` a ... |
|
| Dmitriy Pavlov | 401KB | Win 95/98/ME/2000/XP | $11 | Downloads: 1338 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » SplineCalc 4.3.2
|
| SplineCalc is multipurpose scientific calculator for implementation of various mathematical operations with maps (grids), data tables, lines, polygons and numbers. You can use arithmetical and logical operations with any above data types. It is possible ... |
|
| GeoSpline.com | 546KB | Win 95/98/ME/NT/2000/XP | $75 | Downloads: 1316 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Rapid-Pi 1.1 Beta 2
|
| Rapid-Pi is an add-on for Microsoft Word (and other word processors) that will transform the way you enter mathematical formulae, equations and expressions into documents. Rapid-Pi was designed with a single purpose in mind - to save you time when editing ... |
|
| Trident Software Pty Ltd | 2730KB | Win 2000/XP | | Downloads: 1388 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » BREAKTRU FRACTIONS N DECIMALS 6.3
|
| Two programs in one. One that can Add, Subtract, Divide and Multiply fractions and another that can convert a decimal to a fraction or a fraction to a decimal. It`s a breeze with `Fractions`. Quick and easy interface. No confusing menus. Many fraction pr ... |
|
| BREAKTRU SOFTWARE | 5073KB | Win 95/98/ME/NT/2000/XP | $9.95 | Downloads: 1344 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » CalcSharp 1.0
|
| CalcSharp is .Net application that evaluates mathematical expressions step by step. It uses a different approach from a conventional calculator, which is more natural to the way people calculate. When you calculate on a conventional calculator, each t ... |
|
| Stepsoft | 100KB | Win 98/ME/NT/2000/XP | $25 | Downloads: 1378 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » BMR (Basal Metabolic Rate) Calculator 1.0
|
| Basal Metabolic Rate is the number of calories your body needs when you are resting. Multiplied by your activity level, Basal Metabolic Rate lets you estimate how many calories you need to lose weight or maintain your current weight. BMR Calculator lets y ... |
|
| Actabit Weight Loss | 642KB | Win 98/ME/NT/2000/XP | $19.95 | Downloads: 1439 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » MathCalc 2.0
|
| MathCalc is a handy mathematical calculator as well as easy-to-use 2D graph plotter. The program has a friendly user interface, easy to learn and comfortable to operate. MathCalc can work with two modes: the calculator and graph plotter mode. Within the ... |
|
| YPS software | 965KB | Win 98/ME/2000/XP | $24 | Downloads: 1380 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » XCBA Cargo Office 1.7
|
| XCBA Cargo Office is a user-friendly Draft Survey calculation program for Ships` Officers and Marine Surveyors. XCBA Cargo Office is easily operated using either Keyboard or Mouse. XCBA Cargo Office complies with the latest UN ECE standards for Draught Su ... |
|
| XCBA Inc. | 3828KB | Win 98/ME/NT/2000/XP | $39.95 | Downloads: 1338 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » DeadLine 2.24
|
| DeadLine is a program useful for solving equations, plotting graphs and obtaining an in-depth analysis of a function. Designed especially for students and engineers, the freeware combines graph plotting with advanced numerical calculus, in a very intuitiv ... |
|
| Ionut Alex. Chitu | 1380KB | Win 98/ME/NT/2000/XP | 0 | Downloads: 1389 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » BMI Calculator (Body Mass Index) 1.0
|
| Body Mass Index is a measure of your weight relative to your height. BMI for adults falls into one of these categories: normal, overweight, obese, or underweight. BMI Calculator lets you calculate your Body Mass Index without learning any math formulas. T ... |
|
| Actabit Weight Loss | 640KB | Win 98/ME/NT/2000/XP | $19.95 | Downloads: 1397 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| » Math-Tac-Toe Desktop Algebra Edition 2.0
|
| The Windows desktop version combines the test banks and has more game features than does the hand held versions. With the desktop, there are options for either single or multiple players; an answer box for displaying the correct answer; the ability to mod ... |
|
| Skinny Frog Software | 14930KB | Win NT/2000/XP | $25.00 | Downloads: 1367 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » AcaStat 5.0
|
| Designed to help students learn and apply practical analytical skills, but also ideal for those who need a low-cost alternative for producing basic summary statistics at school or work. Conduct statistical analyses and prepare descriptive summary reports. ... |
|
| AcaStat Software | 5510KB | Win 98/ME/NT/2000/XP | $39.00 | Downloads: 1466 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Magic Math Kingdom for ages 5 to 8 2.2
|
| kids effectively learn math with friendly natural animals and/or worms.A comprehensive game to rescue the princess frog from Witch`s Castle is provided. The witch`s dragons multiple, making it difficult to rescue the princess, if the player makes wrong an ... |
|
| Nippon Educational Soft Lab. | 5182KB | Win 95/98/ME/NT/2000/XP | $14 | Downloads: 1284 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Mix Finder 1.01
|
| You want to make a mixture. You have ingredients composed of the same components. The proportions (percentage,content) of the components is different in each ingredient. The composition of the mixture will depend on how much of each ingredient you will a ... |
|
| Holger Buick | 303KB | Win 98/ME/NT/XP | 0 | Downloads: 1388 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Magic Math Time Travel for ages 10 to 11 2.2
|
| Children can effectively learn math with friendly natural animals and/or worms.The comprehensive game to travel through billions of years, meeting the trilobites, dinosaurs, etc. is provided. The player may face the hazards like `the time dragons` and/or ... |
|
| Nippon Educational Soft Lab. | 6368KB | Win 95/98/ME/NT/2000/XP | $14 | Downloads: 1311 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Magic Math Adventure Tour for ages 9 to 10 2.2
|
| Children can effectively learn math with friendly natural animals and/or worms. The comprehensive game to find a Holy Cup Deep in Jungle is provided. The guardian dragons of the Holy Cup will multiple, if the player makes incorrect answers or too late ans ... |
|
| Nippon Educational Soft Lab. | 8762KB | Win 95/98/ME/NT/2000/XP | $14 | Downloads: 1286 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Magic Math Kingdom for ages 8 to 9 2.2
|
| Children can effectively learn math with friendly natural animals and/or worms.The comprehensive game to rescue the princess frog from Witch`s Castle is provided. The witch`s dragons multiple to make it difficult to rescue the princess if the player make ... |
|
| Nippon Educational Soft Lab. | 5828KB | Win 95/98/ME/NT/2000/XP | $14 | Downloads: 1296 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » VistaMetrix 1.30
|
| VistaMetrix provides an easy way to extract useful numbers from graphical images, especially when the data used to produce an image is unavailable. This includes graphs, maps, or other images that might be scanned, downloaded from the Internet, or capture ... |
|
| SkillCrest, LLC | 5620KB | Win 98/ME/NT/2000/XP | $49.95 | Downloads: 1391 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » FRS Division Drills 2.6
|
| FRS Division Drills provides practice with simple division, long division, and long division with remainders. Simple practice allows students to practice and develop their skills in solving division problems in their head and helps illustrate that divisio ... |
|
| Fast Rabbit Software, LLC | 948KB | Win 98/ME/2000/XP | $12.95 | Downloads: 1336 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » DPlot 2.0.0.3
|
| DPlot is a general purpose graphing program designed for scientists, engineers, and students. It features multiple scaling types, including linear, logarithmic, and probability scales, as well as several special purpose graphs: tripartite grids (shock spe ... |
|
| HydeSoft Computing | 2658KB | Win 95/98/ME/NT/2000/XP | $35.00 | Downloads: 1421 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| |
