support for building truthtables from formulas or operators
Merge branch 'basic_modal_logic' of github.com:winobes/modal-logic into basic_modal_logic