PawLogic is a program for manipulating boolean expressions. The program handles both expressions in propositional logic and quantified boolean formulae (QBF).
Price USD0
License Free
File Size 33.2 kB
Version 1.0.3
Operating System Mobile
System Requirements
  • Palm OS 3.0 or higher