| |
|
|
|
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
|
|
|
|
| » 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: 1583 |
| 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: 1577 |
| 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: 1624 |
| 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: 1548 |
| 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: 1611 |
| 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: 1574 |
| 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: 1589 |
| 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: 2016 |
| 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: 1522 |
| 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: 1541 |
| 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: 2119 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Numbers Up! Volcanic Panic Mac 1.2.2
|
| This fun math game for ages 4-15 covers all basic skills.Its board game format has 7500 number fact and problem questions in numeration, addition, subtraction, multiplication, division, fractions, decimals, percentage and ratio at 26 graded levels. Vari ... |
|
| EdAlive | 11386KB | Mac PPC | | Downloads: 1542 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Numbers Up! Volcanic Panic OSX 1.2.2
|
| This fun math game for ages 4-15 covers all basic skills.Its board game format has 7500 number fact and problem questions in numeration, addition, subtraction, multiplication, division, fractions, decimals, percentage and ratio at 26 graded levels. Vari ... |
|
| EdAlive | 11369KB | Not Applicable | | Downloads: 1384 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Numbers Up! Baggin` the Dragon Mac 1.1
|
| This fun math game for ages 4-15 covers geometry, shape, measurement, algebra and data strands. A board game format is used to present 3200 questions across 14 categories in 11 graded levels. Varied question styles, with many interactive problem-solving ... |
|
| EdAlive | 13967KB | Mac PPC | | Downloads: 1454 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » MathX 2.0
|
| Well.. a little program very usefull for students. It easyly create 2D or 3D graphic of the mathematical functions ! ... |
|
| Bobalca Iulian | 827KB | Win 95/98/ME/2000/XP | 0 | Downloads: 1732 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Universal Scientific Calculator 3
|
| A Super Calculator, many maths functions, charts, 20 educational and ludic games. Math Functions: sin, cos, tan, asin, acos, atan, x2, 1/x, root, %, log, exp, pi, hyperbolic x^y, secant, asec, cotang. Factorization. Financal: expiries, capital, rate, cu ... |
|
| Swing | 6700KB | Win 95/98/ME/NT/2000/XP | $9 | Downloads: 1554 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » IOSO NS Academic edition 1.1
|
| You have an object, which should be improved by optimum coordination of several independent parameters, and executable mathematical model of this object, which computes its efficiency index depending on these parameters. Using IOSO NS 1.1 Academic edition ... |
|
| IOSO Technology Center | 7675KB | Win 98/ME/NT/2000/XP | | Downloads: 1482 |
| 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: 1757 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Abilities Builder Whole Number Math Facts 6.1
|
| Learn whole number math facts: addition, subtraction, multiplication, division. Generate printed worksheets and tests that reinforce the on-screen activities. Multimedia program uses the Microsoft Agent Peedy the parrot character. Suitable for all grade ... |
|
| Teacher Interactive Software | 2010KB | Win 95/98/ME/NT/2000/XP/CE | $25 | Downloads: 1956 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Abilities Builder Add & Subtract Whole Numbers 6.1
|
| Improve whole number addition and subtraction 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 a ... |
|
| Teacher Interactive Software | 2330KB | Win 95/98/ME/NT/2000/XP/CE | $19 | Downloads: 1891 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| |
