jtabwbx.prop.btformula
Classes
BTFormula
BTFormulaCompound
BTFormulaProposition
BTPropositionalFormulaFactory