Build truthtables with your command line.
F <-> G | biconditional
F -> G | implication
F xor G | exclusive or
F + G | or
F * G | and
!F | not
Install Propose with PIP
$ pip3 install propose
Pass an inline formula:
$ propose "a * b"
Pass a file instead:
$ propose --file formula.propose
To get a list of all available commands and options:
$ propose --help
Clone this repository
$ git clone git@github.com:jonhue/propose.git
Install Propose with Pip. You may want to use a virtualenv
$ make setup
Rebuild & reinstall Propose:
$ make reload
Run tests:
$ make spec