fregejs/src/utils/index.ts

A propositional logic library written in Typescript

export * from './isBiconditional';
export * from './isConjunction';
export * from './isDisjunction';
export * from './isImplication';
export * from './isContradiction';
export * from './isArrayString';
export * from './isBinaryOperation';
export * from './isNegation';
export * from './isHypothesis';
export * from './isEndOfHypothesis';
export * from './isMolecularFormula';
export * from './isProofItemInferred';
export * from './isPropositionalVariable';
export * from './eliminateDoubleNegation';
export * from './buildConjunctionString';
export * from './haveEvenNumberOfNegations';
export * from './parse';
export * from './printTruthTable';
export * from './objectBuilder';