truth-table-calc

A program I made for calculating truth tables for boolean functions. Formulas should be input in RPN Supports such operations as '^': conjunction, 'v': disjunction, '=': equivalence, '~': negation, '>': implication