PawLogic is a program for manipulating boolean expressions. The program handles both expressions in propositional logic and quantified boolean formulae (QBF).
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.zip
| | |
If any links are broken, click here to report it and to request a fix.
| | |
|
|
| Supports:
|
| |
 | | Palm IIIx and Palm V
| | |
| | Palm III
| | |
| | PalmPilot Personal / Professional
| |
|
|
|
PawLogic
