PawLogic -- License B Free Download

Version: 1.0.3   (version history)
Date: January 26, 2002

Free To Try

OS: Palm OS
Rating: Not rated
Popularity: Popularity 0/10

Download Sites:

PawLogic -- License B Description

PawLogic -- License B Free 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.

PawLogic -- License B keywords:

More Downloads

  • PawDate

    Keep track of events and holidays with your Palm Pilot.

  • FastFox Typing Expander

    FastFox Text Expander is an easy typing expansion utility that will dramatically reduce the time you spend typing. Create keyboard shortcuts that will automatically expand to lines of text when typed.

  • Logic Circuits

    This software helps a designer to test and implement his circuit in software.The software offers all the Logic gates, Flip-Flops, Multiplexers, Demultiplexers, clock and any many other components, all in software.

  • Conversions

    Program does numeric conversions and have lists of formulae

  • MB Indian Numerology

    MB Indian Numerology calculates your Psychic, Destiny and Name Numbers based on Indian Numerology. These numbers define your personality and help you have better relationships with people. MB Indian Numerology does a free numerology analysis for you