Create table from Proposition - prop2table

Application The Project Usage Usage

For now:
    not/negation: ~
    implication: -> or =>
    biimplication: >l;-> of <=>
    or/disjunction: \/ or ||
    and/conjunction: /\ of &&

max input length: 100
max number of prop varaibles: 7