A software that allows manipulation of boolean expressions in both propositional logic and QBF.
Whether you are a student of logic, professional working with logic, or merely interested in the world of logic, PawLogic is an invaluable tool for your needs. It provides an easily accessible logic program that can be used at the office, home, or on the move. With PawLogic, you have an opportunity to get hands-on experience with the world of logic.
This software is compatible with PalmOS 2.0 and higher, making it ideal for a range of devices. The product is protected under Copyright © 2000 Poul F. Williams. With the PawEng webpage, you can access more information on PawLogic, including an online manual with numerous screenshots. Overall, PawLogic is an excellent software program that delivers outstanding results to anyone interested in logic.
Version 1.0.3: N/A