PawLogic is a program for manipulating boolean expressions. The program handles both expressions in propositional logic and quantified boolean formulae (QBF).
PriceUSD0
LicenseFree
File Size33.2 kB
Version1.0.3
Operating System Mobile
System Requirements<li>Palm OS 3.0 or higher</li>