| |
| 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: | 29 |
| 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
No news found!
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » LeoStatistic 8.2
|
| LeoStatistic software for data presentation and statistical analysis and prediction. Screenshots: click on picture to enlarge Distribution Distribution of two variables. Approximation(constructor style interface). 3 ... |
|
| Leokrut.com | 0 | Win 95/NT/2000/XP/98/ME | $9.95 | Downloads: 25 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Graphe Easy 2.20
|
| Graphe Easy is a feature-rich yet easy-to-use 2d-graph plotting Windows software. It allows to draw many graph types (cartesian, polar, parametric coordinates) and many other graphs such as conics, integrals, inequations or sequences. It also provides ... |
|
| Olivier ANSQUER | 4549KB | Win 98/ME/NT/2000/XP | $39 | Downloads: 36 |
| 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: 33 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » AllerCalc 2.1
|
| AllerCalc is an expression calculator that lets you directly enter an expression to be evaluated. The calculator features a rolling display storing all of your recent inputs and results. More than one hundred built-in functions are supported, including a ... |
|
| AllerSoft | 413 Kb | Windows 95/98/NT/2000 | | Downloads: 48 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Mind4Math Grade 1&2 1.1
|
| Mind4Math is an easy to use teaching assistant for both the classroom educator and the home teacher. We all know that education is an ongoing partnership between teacher and parent. But, there are times when both partners lack adequate time to provide the ... |
|
| Information Exchange Associates LLC | 3157KB | Win 95/98/ME/NT/2000/XP | $19.95 | Downloads: 35 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » EUKLID, Single User License 2.0
|
| With EUKLID you can make geometric constructions just like you do with ruler and compasses. But EUKLID makes dynamic drawings: you can drag some objects after you finished your construction without losing the interdependency between its various objects. F ... |
|
| Mechling.de | 0 | Win 95/NT/2000/98/ME | E25 | Downloads: 33 |
| 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: 42 |
| 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: 39 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » CalcGeek 1.00
|
| CalcGeek is a full functional calculator which is capable of understanding expressions 1.Allow you to input expression directly 2.Fully written in java, make it capable to run in multiple platform, including Windows, Linux, 3.MacOS, BeOS. 4.Support tri ... |
|
| Kucha software | 1203KB | Mac PPC | $14.95 | Downloads: 46 |
| 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: 60 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| » Emprobe 1
|
| Emprobe is a recreational gamestyle program to explore the mandelbrot fractal with. You zoom in or out using a movable rectangular frame of adjustable size to mark the next render area. The produced image - whose width & height can be altered separately ... |
|
| Zplynf.com | 0 | Win 2000/XP | $12.5 | Downloads: 54 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » QuickLogin 2.0
|
| Using QuickLogin you can login to one or more websites in one click. You can securely store the username and password of all your login sites in a password protected QuickLogin file. You can select multiple sites for login and QuickLogin will automatica ... |
|
| ShaPlus Software | 118KB | Win 95/98/ME/NT/2000/XP | $19.95 | Downloads: 36 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Master Math Word Problems 1.2.4
|
| Solving word problems is an area where elementary students overwhelmingly display difficulties. Master Math Word Problems can help sharpen skills through practice. Third through fifth graders learn to watch for key words and translate those into mathemati ... |
|
| Fast Rabbit Software, LLC | 839KB | Win 98/ME/2000/XP | $12.95 | Downloads: 31 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » Graph Magics 2.1
|
| Graph Magics - an ultimate tool for Graph Theory. Containing a numerous collection of functions, utilities and algorithms, it offers you the possibility of easy, fast and efficient construction, modification and analysis of graphs. Some of its major fea ... |
|
| Dumitru Ciubatii | 515KB | Win 98/ME/NT/2000/XP | $65.00 | Downloads: 42 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » GEUP (School License) 2.0
|
| GEUP is an interactive, powerful and easy to use software for learning and doing Geometry on the computer. It allows to verify geometric properties in a precise way and to discover new properties through the exploration. With GEUP you can study graphicall ... |
|
| Geup.net | 0 | Win 95/NT/2000/98/ME | E119 | Downloads: 32 |
| 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: 50 |
| 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: 71 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » MatheFreak 1.01
|
| Kurzbeschreibungen der enthaltenen Programme: Bruchrechnung V1.01s: Aufgabentypen: Addieren, Subtrahieren, Multiplizieren, Dividieren von Brüchen Erweitern, kürzen, ordnen, vergleichen von Brüchen; Bruchteile bestimmen; Umrechnung Kommazahl Bruchzahl ... |
|
| T-online.de | 0 | Win 95/98/ME | E8.62 | Downloads: 77 |
| 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: 43 |
| Date added: Sep 23, 2005 |
» Details |
|
|
| » QVert 1.0
|
| QVert is a quick and easy to use unit converter tool for Windows based operating systems. QVert supports most common and many not so common units of measure. Conversion units are separated into various `Categories` that include: Acceleration, Angle, Are ... |
|
| Delta Computer Solutions, Inc. | 2868KB | Win 95/98/ME/NT/2000 | $18.00 | Downloads: 51 |
| Date added: Sep 23, 2005 |
» Details |
|
|
|
|
| |
|