| |
|
|
|
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
|
|
|
|
| » EasyNN 8.0
|
| EasyNN is a neural network system for Microsoft Windows. It makes the creation of neural networks easy. It allows the user to produce multilayer neural networks from a grid or from text files. The user can produce training, validating and querying files u ... |
|
| Neural Planner Software | 1132KB | Windows 95/98/NT/2000 | $29 | Downloads: 63 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » UniTest System Enterprise 4.x.x
|
| UniTest System is a powerful education tests & quizzes automation tool. Create and process your own tests, filter and customize test results, create or use predefined professional reports. Full support of MS Office, Lotus Notes and any other OLE-enabled ... |
|
| Simtel.net | 0 | | $798 | Downloads: 22 |
| 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: 45 |
| 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: 30 |
| 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: 44 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Math Homework Maker 1.0
|
| The Math Homework Maker, is a FREE software which can solve all your Math homework. If you are a pupil or a student, needing help with your math homework or just want to check them, Then you must have this software. The Math Homework Maker covers everyt ... |
|
| Naor Ben Meir | 409KB | Win 95/98/ME/2000/XP | 0 | Downloads: 39 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Factorizer 8.77
|
| Factorizer is a Windows program to find factors of numbers up to 2,147,483,646 and to find primes, pairs of primes and Palmen colors of numbers. Or in more detail, Factorizer may be used: (1) to get the prime decomposition of all numbers in a range of nu ... |
|
| Hermetic Systems | 1730KB | Win 95/98/ME/NT/2000/XP | $12 | Downloads: 56 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » GraphiCal 1.8.1
|
| GraphiCal is a programmable graphics calculator which lets you visualize expressions and formulas in cartesian or polar formas graphs in a chart. The program can create animated video clips from a sequence of graphs which you can view with the integrated ... |
|
| Wilhelm Kurz | 2235KB | Win 95/98/ME/NT/2000/XP | $20 | Downloads: 41 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Angle Doubling 1.0
|
| Middle-School (grades 5 through 9) math program written to provide skills in context. Students write and solve simple algebra problems, then manipulate the vertices of an on-screen triangle so that it matches given information about its angles. Sample p ... |
|
| Polymath Love | 229Kb | Mac PPC | 0 | Downloads: 50 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » SimplexNumerica 7.3.18
|
| SimplexNumerica is an object-oriented numerical data analyzer, plot and presentation program. SimplexNumerica is proving to be extremely popular among scientists. Ergonomic programming using the newest Windows programming guidelines with toolbars, context ... |
|
| Dipl.-Phys.-Ing. Ralf Wirtz | 9908KB | Win 95/98/ME/NT/2000/XP | $39.00 | Downloads: 35 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| » Conversion Buddy 4.1.1
|
| Conversion Buddy is a metric unit conversion program. Scroll the list to select the `Convert From` unit and the `Convert To` unit, and enter the amount to convert. It includes over 1700 conversion factors, and you can add your own. You can paste results ... |
|
| Presley Systems | 939 Kb | Windows 95/98/NT/2000 | | Downloads: 84 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » MasterCalc 1
|
| MasterCalc program is intended for calculation of many mathematical tasks with the extended possibilities, for example it is possible to calculate such expressions: (4,1-(1,2 323)/5,5) (8 * (1,42 431,54)), sqrt (1-cos (asin (0,25146)) ^4). It is possib ... |
|
| Mastercalc.com | 0 | Win 95/XP/98/ME | $18 | Downloads: 50 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Digital Math Teacher 1.0
|
| Digital Math Teacher 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. It can also be an aid for teachers since the program has the ability to gener ... |
|
| PureGaming.org | 1794KB | Win 95/98/ME/2000/XP | $8 | Downloads: 27 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Archimedes Grapher Professional 2.2
|
| Archimedes Grapher is a kind of powerful and convenient tool software which supports functional graph plotting, numerical calculation, unit conversion, and slide show. It can plot all kinds of graphs (functional graphs, table graphs, polar equation, param ... |
|
| NewXor Software,Inc | 2130KB | Win 2000/XP | $28 | Downloads: 52 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| |
| Dynageo.de | 0 | Win 95/NT/2000/98/ME | E125 | Downloads: 23 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » ABF Value Converter on CD-ROM
|
| ABF Value Converter is a measurement units converter. This software easily converts values of one measurement unit into others. Inches to centimeters, pounds to kilograms, Fahrenheit to Celsius... and more than 5000 other conversions are grouped according ... |
|
| Abf-soft.com | 0 | Win 95/NT/2000/XP/98/ME | $24.9 | Downloads: 61 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » MoNooN 2DR Grapher 1.1
|
| MoNooN 2DR Grapher draws and shows graphs of 2D mathematical functions in rectangular coordinates. MoNooN2DR enables you to: modify the graph color, graph line type, and background color; insert a new graph; move the graph; and zoom the graph. The prog ... |
|
| MoNooN | 863 Kb | Windows 95/98/NT/2000 | | Downloads: 49 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » LAB Fit Curve Fitting Software 7.2.30
|
| The LAB Fit is a software for Windows developed for treatment and analysis of experimental data. At LABFit program you are able to: 1) Treat similar data (grouped and ungrouped dataset, one or two samples); 2) Treat non-similar data; 3) Determine propaga ... |
|
| Wilton Pereira da Silva | 3024KB | Win 95/98/ME/NT/2000/XP | $60 | Downloads: 50 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Triangle Types 1.0
|
| Middle-School (grades 5 through 9) math program written to provide skills in context. Students classify triangles based on sides and angles. ... |
|
| Polymath Love | 353Kb | Mac PPC | 0 | Downloads: 50 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Khi 3 1
|
| A super Computer! Math, finances, statistics, combinative, factorials, calculations of dates, curves y=f(x), series, units conversions, calendars conversions (Gregorian, Julien, republican), Triangle interactive geometry, Pi calculation (10.000 digits) an ... |
|
| SoftWare Informatique Nazairienne de Gestion | 7812KB | Win 95/98/ME/NT/2000/XP | | Downloads: 69 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| |
|