| |
| Company: | Paweng.com |
| License: | Shareware |
| Version: | 1.0.3 |
| System: | Palm OS |
| Size: | 0 |
| Date Released: | January 26, 2002 |
| Price: | $12 |
| Screenshot: | No Screenshot |
| Downloads: | 1328 |
| Homepage: | http |
| Date added: | Sep 23, 2005 |
| Click here to Download |
|
|
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.
|
|
|
|
NEWS
So far, nothing for that!
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » GlobalSpellChecker 1.0
|
| GlobalSpellChecker is a tool for checking spelling or meaning of words from any application using Microsoft Word. It displays the meaning or spelling suggestion in a non-disturbing way so that you do not have to shift from the application you are workin ... |
|
| ShaPlus Software | 81KB | Win 95/98/ME/NT/2000/XP | 0 | Downloads: 1358 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » High precision calculator 1.8.1
|
| High precision calculator is an easy-to-use and very powerful skinnable calculator for all people, especially accountants, scientists and students. You can enter full expression, draw 2D and 3D graphics, use named variables and more then 70 functions an ... |
|
| WinCalc.com | 683KB | Win 95/98/ME/NT/2000/XP | $24.95 | Downloads: 1350 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Basic Algebra Shape-Up 4.0
|
| Basic Algebra Shape-Up helps students master specific basic algebra skills, while providing teachers with measurable results. Concepts covered include creating formulas; using ratios, proportions, and scale; working with integers, simple and multi-step eq ... |
|
| Merit Software | 5859KB | Win 98/ME/NT/2000/XP | $35.00 | Downloads: 1373 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » How To Have Good Health Naturally With Herbs 2.0
|
| Good health can now be at your fingertips with complete illustrated herb information of medicinal uses, medicinal actions, preparation instructions, propagation and cultivation, recipes, formulas, and dosages. ... |
|
| PK Enterprises, LLC | 964KB | Win 95/98/ME/NT/2000/XP/CE | $24.95 | Downloads: 1627 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » BREAKTRU PERCENT 3.2
|
| Calculate the percentage of any number out of any number. Great little tool to have on anyones desktop. ... |
|
| BREAKTRU SOFTWARE | 1860KB | Win 95/98/ME/NT/2000/XP | | Downloads: 1377 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Math Scratch 1.0
|
| Math Scratch teaches the mathematical process for addition, subtraction, multiplication, and division of whole numbers. Children will learn to work with one to five numbers, carrying, borrowing, and remainders as they would with pencil and paper. With o ... |
|
| Sixpence Software | 2857KB | Win 98/ME/NT/2000/XP | $39.95 | Downloads: 1298 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Weights And Measures Plus 3.1
|
| Weights And Measures Plus converts units of measurement such as yards or fluid ounces to gallons. It features conversions for 237 units in 18 categories. WAM+ is unique in that input and output can be in either Decimals or Fractions due to our unique in ... |
|
| Equinox Software | 5783KB | Win 98/ME/NT/2000/XP/CE | $29.95 | Downloads: 1341 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Abilities Builder Divide Whole Numbers 6.1
|
| Improve whole number division computation skills from simple to complex problems. Math facts exercises are included. Randomly generated problems are structured and worked out number by number as you would on paper with immediate feedback and correction af ... |
|
| Teacher Interactive Software | 2420KB | Win 95/98/ME/NT/2000/XP/CE | $29 | Downloads: 1623 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Abilities Builder Whole Numbers Plus 7.1
|
| Improve whole number computation skills from simple to complex problems in addition, subtraction, multiplication, and division. Math facts exercises are included. Randomly generated problems are structured and worked out number by number as you would on p ... |
|
| Teacher Interactive Software | 2970KB | Win 95/98/ME/NT/2000/XP/CE | $79 | Downloads: 1637 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » LibMaster.com Extendable Calculator 1.1
|
| Usually software calculators imitate hardware calculators. It allows Users the ability to quickly start their work with a new program, since the user already knows how to use their hardware calculator. But with this approach, in regards to the design of ... |
|
| LibMaster.com | 741KB | Win 95/98/ME/NT/2000/XP | $19.95 | Downloads: 1348 |
| 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: 1346 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Data Pilot 1.02
|
| Data Pilot is specially created to expand data analysis options available in Microsoft Excel with nonparametric statistical methods. The statistical methods used in the application provides the most relevant results even with small numbers of samples (3 ... |
|
| Two Pilots | 721KB | Win 98/ME/2000/XP | $55.55 | Downloads: 1365 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Geometry Master 3.0
|
| Geometry Master 3.0 is a Geometry Tutor that enhances Geometrical, Spatial and Drawing skills. The program comes with many excellent drawing tools. The Software runs on all Windows systems and has multiple Drawing Tools, Color Fill Options and Custom Sh ... |
|
| Caltrox Educational Software | 3132KB | Win 95/98/ME/NT/2000/XP | | Downloads: 1296 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » HiDigit 1.1
|
| HiDigit is a new calculating software with extended capabilities. This is an essential application for math, algebra, calculus, geometry, physics and engineering students. The main advantage of the software is a simple input format even for the most compl ... |
|
| Binary Things | 1021KB | Win 98/ME/NT/2000/XP | $19.95 | Downloads: 1357 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Mental Math Practice 1.2
|
| Free mental math practice software. Covers all the basic math skills - Addition, Subtraction, Multiplication, and Division. You choose what you want to work on. The software delivers the questions, checks your answers, and keeps your score so you can see ... |
|
| Fun With Figures.com | 356KB | Win 3.x/95/98/ME/NT/2000/XP | 0 | Downloads: 1356 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Kalkulator 2.41
|
| The Mother of all Calculators, a Swiss Army knife for scientists and engineers. Perhaps the most capable scientific/engineering calculator for Windows. On one hand, this is a calculator: evaluates expressions with more than 100 functions (trig/inverse, l ... |
|
| J. Andrzej Wrotniak | 956KB | Win 95/98/ME/NT/2000/XP | $40 | Downloads: 1333 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » 3D Calculator 1.00
|
| 3D Calculator is a software emulation of Graphic Calculators. It supports 2D/3D Plotting and Programming using a high level Programming Language. MAIN FEATURES o Support unlimited number of variable definitions. o All calculations are made in extended r ... |
|
| Farid ABAZIZ | 1906KB | Win 98/ME/NT/2000/XP | $40 | Downloads: 1739 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Scubamat 1.0
|
| Diving parameters calculator, breathing mix maker and tank filler. English and italian language support ... |
|
| Rodomontano Software | 460KB | Win 3.x/95/98/ME/2000/XP | 0 | Downloads: 1273 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » MatrixCalculator 1.1.1
|
| Morello Matrix Calculator is a simple, pocket calculator style program which performs most standard matrix calculations. It supports matrices up to 20 elements square (shareware version is limited to 2 elements square). It also allows data to be excha ... |
|
| Morello Publishing Ltd | 229KB | Win 95/98/ME/NT/2000/XP | $10 | Downloads: 1307 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » AbleCalc 1.1
|
| AbleCalc is a great tool for anyone needing mathematical help with calculations. The program shows big numbers in natural style, not as `12345E+1234` and also displays a symbol representing your current operation at the left of the entry field. This i ... |
|
| MathTerra Software | 673KB | Win 95/98/ME/NT/2000/XP | | Downloads: 1838 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| |
